Skip to content

Actions: hivert/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Additions & changes in seq, tuple, finset and perm (#1523) Nix CI for bundle rocq-master #6: Commit 35e94a3 pushed by hivert
20m 48s master
master
20m 48s
Additions & changes in seq, tuple, finset and perm (#1523) Nix CI for bundle rocq-9.0 #6: Commit 35e94a3 pushed by hivert
19m 53s master
master
19m 53s
Additions & changes in seq, tuple, finset and perm (#1523) Nix CI for bundle rocq-9.1 #6: Commit 35e94a3 pushed by hivert
21m 18s master
master
21m 18s
Merge pull request #1518 from proux01/num-nat Nix CI for bundle rocq-9.1 #5: Commit 3418521 pushed by hivert
19m 5s master
master
19m 5s
Merge pull request #1518 from proux01/num-nat Nix CI for bundle rocq-master #5: Commit 3418521 pushed by hivert
1h 48m 14s master
master
1h 48m 14s
Merge pull request #1518 from proux01/num-nat Nix CI for bundle rocq-9.0 #5: Commit 3418521 pushed by hivert
18m 58s master
master
18m 58s
Added lemmas about uniq, injectivity and index to seq (#1514) Nix CI for bundle rocq-master #4: Commit 9d4ce82 pushed by hivert
19m 5s master
master
19m 5s
Added lemmas about uniq, injectivity and index to seq (#1514) Nix CI for bundle rocq-9.0 #4: Commit 9d4ce82 pushed by hivert
34m 58s master
master
34m 58s
Added lemmas about uniq, injectivity and index to seq (#1514) Nix CI for bundle rocq-9.1 #4: Commit 9d4ce82 pushed by hivert
18m 29s master
master
18m 29s
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