Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-9.1.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.1 #36: Pull request #545 synchronize by CohenCyril
50s
50s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.1 #35: Pull request #545 synchronize by gares
48s
48s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.1 #34: Pull request #545 synchronize by gares
44s
44s
Merge pull request #449 from math-comp/fix_cat Nix CI for bundle coq-9.1 #33: Commit dde794c pushed by CohenCyril
1h 9m 31s master
master
1h 9m 31s
fix cat Nix CI for bundle coq-9.1 #32: Pull request #449 synchronize by CohenCyril
1h 15m 30s
1h 15m 30s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.1 #31: Pull request #545 synchronize by CohenCyril
49s
49s
fix cat Nix CI for bundle coq-9.1 #30: Pull request #449 synchronize by CohenCyril
42m 21s
42m 21s
fix cat Nix CI for bundle coq-9.1 #29: Pull request #449 synchronize by CohenCyril
36m 23s
36m 23s
Merge pull request #557 from math-comp/release Nix CI for bundle coq-9.1 #28: Commit c8b7dae pushed by gares
42m 38s master
master
42m 38s
release Nix CI for bundle coq-9.1 #27: Pull request #557 opened by gares
43m 0s
43m 0s
Add tutorial link to README Nix CI for bundle coq-9.1 #26: Commit 3d90825 pushed by gares
43m 11s master
master
43m 11s
Merge pull request #551 from proux01/fix-about Nix CI for bundle coq-9.1 #25: Commit ba89a15 pushed by proux01
18m 0s master
master
18m 0s
Fix HB.about Nix CI for bundle coq-9.1 #24: Pull request #551 synchronize by proux01
1h 0m 46s
1h 0m 46s
Merge pull request #554 from proux01/ci-update Nix CI for bundle coq-9.1 #23: Commit 1d17a5b pushed by proux01
1h 5m 46s master
master
1h 5m 46s
[CI] Update Nix toolbox Nix CI for bundle coq-9.1 #22: Pull request #554 opened by proux01
1h 55m 18s proux01:ci-update
proux01:ci-update
1h 55m 18s
[CI] Update Nix toolbox Nix CI for bundle coq-9.1 #21: Pull request #554 opened by proux01
2h 7m 59s
2h 7m 59s
Merge pull request #553 from proux01/fix-opam Nix CI for bundle coq-9.1 #20: Commit 48d8ff2 pushed by proux01
2h 5m 5s master
master
2h 5m 5s
Fix OPAM file Nix CI for bundle coq-9.1 #19: Pull request #553 opened by proux01
7m 37s
7m 37s
Fix HB.about Nix CI for bundle coq-9.1 #18: Pull request #551 opened by proux01
25m 25s
25m 25s
Merge pull request #550 from math-comp/release Nix CI for bundle coq-9.1 #17: Commit e43d43a pushed by gares
9m 25s master
master
9m 25s
Release Nix CI for bundle coq-9.1 #16: Pull request #550 synchronize by proux01
49m 43s release
release
49m 43s
Release Nix CI for bundle coq-9.1 #15: Pull request #550 synchronize by proux01
51m 42s
51m 42s
[feat] support for multiple subjects Nix CI for bundle coq-9.1 #14: Pull request #535 synchronize by CalosciMatteo
36m 10s
36m 10s
Release Nix CI for bundle coq-9.1 #13: Pull request #550 synchronize by gares
4m 57s release
release
4m 57s
Release Nix CI for bundle coq-9.1 #12: Pull request #550 synchronize by gares
3m 18s
3m 18s