Skip to content

Actions: coq-community/chapar

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action.yml
13 workflow runs
13 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
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 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 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 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
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 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
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 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 Nix CI #34: Pull request #29 opened by palmskog
October 1, 2023 08:12 27s
October 1, 2023 08:12 27s