Skip to content

Actions: hivert/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #1510 from math-comp/archimedan-lemmas Nix CI for bundle rocq-9.1 #10: Commit ee97c32 pushed by hivert
11m 0s master
master
11m 0s
Merge pull request #1510 from math-comp/archimedan-lemmas Nix CI for bundle rocq-9.0 #10: Commit ee97c32 pushed by hivert
10m 22s master
master
10m 22s
Merge pull request #1510 from math-comp/archimedan-lemmas Nix CI for bundle rocq-9.2 #4: Commit ee97c32 pushed by hivert
10m 3s master
master
10m 3s
Merge pull request #1510 from math-comp/archimedan-lemmas Nix CI for bundle rocq-master #10: Commit ee97c32 pushed by hivert
11m 0s master
master
11m 0s
Merge pull request #1618 from CohenCyril/tensor Nix CI for bundle rocq-9.0 #9: Commit 6816ef8 pushed by hivert
1h 29m 45s master
master
1h 29m 45s
Merge pull request #1618 from CohenCyril/tensor Nix CI for bundle rocq-9.2 #3: Commit 6816ef8 pushed by hivert
56m 22s master
master
56m 22s
Merge pull request #1618 from CohenCyril/tensor Nix CI for bundle rocq-9.1 #9: Commit 6816ef8 pushed by hivert
1h 27m 19s master
master
1h 27m 19s
Merge pull request #1618 from CohenCyril/tensor Nix CI for bundle rocq-master #9: Commit 6816ef8 pushed by hivert
1h 1m 20s master
master
1h 1m 20s
Update CONTRIBUTING.md (#1614) Nix CI for bundle rocq-9.0 #8: Commit 0725133 pushed by hivert
35m 4s master
master
35m 4s
Update CONTRIBUTING.md (#1614) Nix CI for bundle rocq-master #8: Commit 0725133 pushed by hivert
54m 20s master
master
54m 20s
Update CONTRIBUTING.md (#1614) Nix CI for bundle rocq-9.1 #8: Commit 0725133 pushed by hivert
33m 26s master
master
33m 26s
Update CONTRIBUTING.md (#1614) Nix CI for bundle rocq-9.2 #2: Commit 0725133 pushed by hivert
29m 46s master
master
29m 46s
Fix description of mainSymbol in CONTRIBUTING.md (#1592) Nix CI for bundle rocq-9.0 #7: Commit 08bc6cd pushed by hivert
21m 10s master
master
21m 10s
Fix description of mainSymbol in CONTRIBUTING.md (#1592) Nix CI for bundle rocq-9.2 #1: Commit 08bc6cd pushed by hivert
21m 6s master
master
21m 6s
Fix description of mainSymbol in CONTRIBUTING.md (#1592) Nix CI for bundle rocq-9.1 #7: Commit 08bc6cd pushed by hivert
20m 53s master
master
20m 53s
Fix description of mainSymbol in CONTRIBUTING.md (#1592) Nix CI for bundle rocq-master #7: Commit 08bc6cd pushed by hivert
22m 45s master
master
22m 45s
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