Skip to content

Actions: hivert/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1507 from math-comp/addr_semigroup Nix CI for bundle rocq-9.0 #3: Commit bfeeb3f pushed by hivert
1h 20m 23s master
master
1h 20m 23s
Merge pull request #1507 from math-comp/addr_semigroup Nix CI for bundle rocq-9.1 #3: Commit bfeeb3f pushed by hivert
1h 17m 16s master
master
1h 17m 16s
Merge pull request #1507 from math-comp/addr_semigroup Nix CI for bundle rocq-master #3: Commit bfeeb3f pushed by hivert
49m 9s master
master
49m 9s
Merge pull request #1477 from proux01/rocq21159 Nix CI for bundle rocq-9.0 #2: Commit e90518d pushed by hivert
11m 46s master
master
11m 46s
Merge pull request #1477 from proux01/rocq21159 Nix CI for bundle rocq-9.1 #2: Commit e90518d pushed by hivert
11m 54s master
master
11m 54s
Merge pull request #1477 from proux01/rocq21159 Nix CI for bundle coq-8.20 #9: Commit e90518d pushed by hivert
37s master
master
37s
Merge pull request #1477 from proux01/rocq21159 Nix CI for bundle rocq-master #2: Commit e90518d pushed by hivert
1h 40m 56s master
master
1h 40m 56s
Merge pull request #1403 from CohenCyril/eqn_leq_yoneda Nix CI for bundle rocq-9.0 #1: Commit f03a913 pushed by hivert
12m 58s master
master
12m 58s
Merge pull request #1403 from CohenCyril/eqn_leq_yoneda Nix CI for bundle rocq-master #1: Commit f03a913 pushed by hivert
1h 56m 30s master
master
1h 56m 30s
Merge pull request #1403 from CohenCyril/eqn_leq_yoneda Nix CI for bundle coq-8.20 #8: Commit f03a913 pushed by hivert
11m 42s master
master
11m 42s
Merge pull request #1403 from CohenCyril/eqn_leq_yoneda Nix CI for bundle rocq-9.1 #1: Commit f03a913 pushed by hivert
12m 23s master
master
12m 23s
Merge pull request #1445 from proux01/ci-update Nix CI for bundle coq-9.0 #2: Commit 93c0bd4 pushed by hivert
57m 18s master
master
57m 18s
Merge pull request #1445 from proux01/ci-update Nix CI for bundle coq-8.20 #7: Commit 93c0bd4 pushed by hivert
1h 32m 43s master
master
1h 32m 43s
Merge pull request #1445 from proux01/ci-update Nix CI for bundle coq-master #14: Commit 93c0bd4 pushed by hivert
4m 19s master
master
4m 19s
Merge pull request #1445 from proux01/ci-update Nix CI for bundle coq-9.1 #1: Commit 93c0bd4 pushed by hivert
49m 59s master
master
49m 59s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-8.19 #12: Commit c9892c6 pushed by hivert
2h 26m 56s master
master
2h 26m 56s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-master #13: Commit c9892c6 pushed by hivert
1h 29m 54s master
master
1h 29m 54s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-8.20 #6: Commit c9892c6 pushed by hivert
1h 45m 10s master
master
1h 45m 10s
Merge pull request #1412 from CohenCyril/make-entry Nix CI for bundle coq-9.0 #1: Commit c9892c6 pushed by hivert
1h 29m 21s master
master
1h 29m 21s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-8.20 #5: Commit fe6be9c pushed by hivert
42m 8s master
master
42m 8s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-8.19 #11: Commit fe6be9c pushed by hivert
48m 26s master
master
48m 26s
Merge pull request #1316 from proux01/ci-update Nix CI for bundle coq-master #12: Commit fe6be9c pushed by hivert
1h 47m 22s master
master
1h 47m 22s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-8.18 #10: Commit dd80823 pushed by hivert
25m 31s master
master
25m 31s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-8.20 #4: Commit dd80823 pushed by hivert
22m 55s master
master
22m 55s
Merge pull request #1298 from Tragicus/min Nix CI for bundle coq-master #11: Commit dd80823 pushed by hivert
1m 45s master
master
1m 45s