Skip to content

Actions: coq-community/chapar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci for 8.19 Nix CI #46: Commit 0553daf pushed by palmskog
December 30, 2023 09:29 5m 16s master
master
December 30, 2023 09:29 5m 16s
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
update changelog Nix CI #45: Commit c32df70 pushed by palmskog
December 28, 2023 10:09 5m 20s master
master
December 28, 2023 10:09 5m 20s
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
Merge pull request #31 from coq-community/fix-8.19 Nix CI #44: Commit 9cf9d2e pushed by palmskog
December 23, 2023 18:08 43s master
master
December 23, 2023 18:08 43s
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
compatibility with 8.19 and beyond Nix CI #43: Pull request #31 opened by palmskog
December 23, 2023 17:55 5m 20s
December 23, 2023 17:55 5m 20s
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
update nix-action from templates Nix CI #42: Commit 5b1ceaf pushed by palmskog
October 15, 2023 19:30 7m 9s master
master
October 15, 2023 19:30 7m 9s
ensure experiment binary can be compiled Nix CI #41: Commit 7925e92 pushed by palmskog
October 1, 2023 16:58 6m 30s master
master
October 1, 2023 16:58 6m 30s
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
Merge pull request #30 from coq-community/purge-old Nix CI #40: Commit 95e4b27 pushed by palmskog
October 1, 2023 09:43 40s master
master
October 1, 2023 09:43 40s
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
Purge old boilerplate Nix CI #39: Pull request #30 opened by palmskog
October 1, 2023 09:32 6m 6s
October 1, 2023 09:32 6m 6s
Merge pull request #29 from coq-community/8.18-dune Nix CI #38: Commit 52504cc pushed by palmskog
October 1, 2023 09:12 50s master
master
October 1, 2023 09:12 50s
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 Nix CI #37: Pull request #29 synchronize by palmskog
October 1, 2023 09:00 6m 30s 8.18-dune
8.18-dune
October 1, 2023 09:00 6m 30s
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 Nix CI #36: Pull request #29 synchronize by palmskog
October 1, 2023 09:00 22s
October 1, 2023 09:00 22s
Dune fixes and 8.18 in CI Nix CI #35: Pull request #29 opened by palmskog
October 1, 2023 08:12 6m 22s 8.18-dune
8.18-dune
October 1, 2023 08:12 6m 22s
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
Dune fixes and 8.18 in CI Nix CI #34: Pull request #29 opened by palmskog
October 1, 2023 08:12 27s
October 1, 2023 08:12 27s