Skip to content

Actions: coq-community/chapar

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci for 8.19 Docker CI #36: Commit 0553daf pushed by palmskog
December 30, 2023 09:29 11m 4s master
master
December 30, 2023 09:29 11m 4s
update changelog Docker CI #35: Commit c32df70 pushed by palmskog
December 28, 2023 10:09 10m 43s master
master
December 28, 2023 10:09 10m 43s
Merge pull request #31 from coq-community/fix-8.19 Docker CI #34: Commit 9cf9d2e pushed by palmskog
December 23, 2023 18:08 10m 36s master
master
December 23, 2023 18:08 10m 36s
compatibility with 8.19 and beyond Docker CI #33: Pull request #31 opened by palmskog
December 23, 2023 17:55 10m 41s fix-8.19
fix-8.19
December 23, 2023 17:55 10m 41s
update nix-action from templates Docker CI #32: Commit 5b1ceaf pushed by palmskog
October 15, 2023 19:30 17m 46s master
master
October 15, 2023 19:30 17m 46s
ensure experiment binary can be compiled Docker CI #31: Commit 7925e92 pushed by palmskog
October 1, 2023 16:58 11m 11s master
master
October 1, 2023 16:58 11m 11s
Merge pull request #30 from coq-community/purge-old Docker CI #30: Commit 95e4b27 pushed by palmskog
October 1, 2023 09:43 10m 28s master
master
October 1, 2023 09:43 10m 28s
Purge old boilerplate Docker CI #29: Pull request #30 opened by palmskog
October 1, 2023 09:32 10m 33s purge-old
purge-old
October 1, 2023 09:32 10m 33s
Merge pull request #29 from coq-community/8.18-dune Docker CI #28: Commit 52504cc pushed by palmskog
October 1, 2023 09:12 10m 35s master
master
October 1, 2023 09:12 10m 35s
Dune fixes and 8.18 in CI Docker CI #27: Pull request #29 synchronize by palmskog
October 1, 2023 09:00 10m 28s 8.18-dune
8.18-dune
October 1, 2023 09:00 10m 28s
Dune fixes and 8.18 in CI Docker CI #26: Pull request #29 opened by palmskog
October 1, 2023 08:12 8m 19s 8.18-dune
8.18-dune
October 1, 2023 08:12 8m 19s