Skip to content

Actions: rocq-community/reglang

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
5 workflow runs
5 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.17 #50: Commit f4b5167 pushed by palmskog
1m 28s master
master
1m 28s
update docker ci Nix CI for bundle 8.17 #49: Pull request #77 synchronize by palmskog
2m 21s
2m 21s
update docker ci Nix CI for bundle 8.17 #48: Pull request #77 opened by palmskog
2m 47s
2m 47s
Merge pull request #76 from coq-community/mc1343 Nix CI for bundle 8.17 #47: 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.17 #46: Pull request #76 opened by proux01
2m 33s
2m 33s