Skip to content

Actions: coq-community/stalmarck

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
24 workflow runs
24 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #31 from SkySkimmer/erelevance Nix CI #47: Commit d32acd3 pushed by ppedrot
April 23, 2024 17:16 6m 16s master
master
April 23, 2024 17:16 6m 16s
Merge pull request #31 from SkySkimmer/erelevance Docker CI #44: Commit d32acd3 pushed by ppedrot
April 23, 2024 17:16 3m 1s master
master
April 23, 2024 17:16 3m 1s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #43: Pull request #31 opened by SkySkimmer
April 17, 2024 12:13 3m 3s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 12:13 3m 3s
Adapt to coq/coq#18938 (EConstr.ERelevance) Nix CI #46: Pull request #31 opened by SkySkimmer
April 17, 2024 12:13 1m 16s
April 17, 2024 12:13 1m 16s
fix action ci Docker CI #42: Commit 0b7977e pushed by palmskog
December 30, 2023 00:07 2m 12s v8.19
v8.19
December 30, 2023 00:07 2m 12s
fix action ci Nix CI #45: Commit 0b7977e pushed by palmskog
December 30, 2023 00:07 1m 21s v8.19
v8.19
December 30, 2023 00:07 1m 21s
update boilerplate for 8.19 Nix CI #44: Commit 6bced6d pushed by palmskog
December 23, 2023 19:23 1m 13s v8.19
v8.19
December 23, 2023 19:23 1m 13s
generate README.md from template Nix CI #43: Commit 3d10aec pushed by palmskog
December 23, 2023 18:01 1m 19s master
master
December 23, 2023 18:01 1m 19s
generate README.md from template Docker CI #41: Commit 3d10aec pushed by palmskog
December 23, 2023 18:01 3m 10s master
master
December 23, 2023 18:01 3m 10s
update nix-action from templates Docker CI #40: Commit 22a05dd pushed by palmskog
October 15, 2023 19:36 3m 35s master
master
October 15, 2023 19:36 3m 35s
update nix-action from templates Nix CI #42: Commit 22a05dd pushed by palmskog
October 15, 2023 19:36 1m 50s master
master
October 15, 2023 19:36 1m 50s
update boilerplate for 8.18 Docker CI #39: Commit 672dcb2 pushed by palmskog
August 8, 2023 19:22 4m 22s v8.18
v8.18
August 8, 2023 19:22 4m 22s
Merge pull request #30 from coq-community/flags-metadata-update Docker CI #38: Commit 6ad84f9 pushed by palmskog
July 7, 2023 22:53 4m 40s master
master
July 7, 2023 22:53 4m 40s
Merge pull request #30 from coq-community/flags-metadata-update Nix CI #41: Commit 6ad84f9 pushed by palmskog
July 7, 2023 22:53 46s master
master
July 7, 2023 22:53 46s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Docker CI #37: Pull request #30 synchronize by palmskog
July 7, 2023 22:44 3m 30s flags-metadata-update
flags-metadata-update
July 7, 2023 22:44 3m 30s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Nix CI #40: Pull request #30 synchronize by palmskog
July 7, 2023 22:44 6m 59s flags-metadata-update
flags-metadata-update
July 7, 2023 22:44 6m 59s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Nix CI #39: Pull request #30 synchronize by palmskog
July 7, 2023 22:44 23s
July 7, 2023 22:44 23s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Docker CI #36: Pull request #30 opened by palmskog
July 7, 2023 22:42 3m 46s flags-metadata-update
flags-metadata-update
July 7, 2023 22:42 3m 46s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Nix CI #38: Pull request #30 opened by palmskog
July 7, 2023 22:42 22s flags-metadata-update
flags-metadata-update
July 7, 2023 22:42 22s
remove redundant flags, update boilerplate, commit to Dune-Coq 0.3 Nix CI #37: Pull request #30 opened by palmskog
July 7, 2023 22:42 22s
July 7, 2023 22:42 22s
Merge pull request #29 from ppedrot/split-generalize-tactics Docker CI #35: Commit f6cec1d pushed by SkySkimmer
June 29, 2023 13:51 3m 56s master
master
June 29, 2023 13:51 3m 56s
Merge pull request #29 from ppedrot/split-generalize-tactics Nix CI #36: Commit f6cec1d pushed by SkySkimmer
June 29, 2023 13:51 28s master
master
June 29, 2023 13:51 28s
Adapt w.r.t. coq/coq#17768. Docker CI #34: Pull request #29 opened by ppedrot
June 28, 2023 13:26 3m 10s ppedrot:split-generalize-tactics
ppedrot:split-generalize-tactics
June 28, 2023 13:26 3m 10s
Adapt w.r.t. coq/coq#17768. Nix CI #35: Pull request #29 opened by ppedrot
June 28, 2023 13:26 27s
June 28, 2023 13:26 27s