Skip to content

Actions: rocq-community/reglang

Actions

Nix CI for bundle 8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.16.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #77 from coq-community/ci-update Nix CI for bundle 8.16 #55: Commit f4b5167 pushed by palmskog
1m 24s master
master
1m 24s
update docker ci Nix CI for bundle 8.16 #54: Pull request #77 synchronize by palmskog
2m 22s ci-update
ci-update
2m 22s
update docker ci Nix CI for bundle 8.16 #53: Pull request #77 synchronize by palmskog
2m 12s
2m 12s
update docker ci Nix CI for bundle 8.16 #52: Pull request #77 opened by palmskog
2m 30s ci-update
ci-update
2m 30s
update docker ci Nix CI for bundle 8.16 #51: Pull request #77 opened by palmskog
2m 31s
2m 31s
Merge pull request #76 from coq-community/mc1343 Nix CI for bundle 8.16 #50: Commit a8fea35 pushed by proux01
2m 43s master
master
2m 43s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Nix CI for bundle 8.16 #49: Pull request #76 opened by proux01
2m 36s
2m 36s