Skip to content

Actions: coq-community/stalmarck

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

split off stalmarck checker program into coq-stalmarck-checker package Docker CI #47: Pull request #32 opened by palmskog
July 27, 2024 20:56 4m 5s checker-package
checker-package
July 27, 2024 20:56 4m 5s
fix docker-action Docker CI #46: Commit 4643e95 pushed by palmskog
June 29, 2024 22:36 3m 7s v8.20
v8.20
June 29, 2024 22:36 3m 7s
adjust boilerplate for Coq 8.20 Docker CI #45: Commit 3fb2355 pushed by palmskog
June 29, 2024 22:33 2m 16s v8.20
v8.20
June 29, 2024 22:33 2m 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
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
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 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