Skip to content

Actions: hivert/math-comp

Actions

Nix CI for bundle rocq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-master.yml
10 workflow runs
10 workflow runs

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-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-master #9: Commit 6816ef8 pushed by hivert
1h 1m 20s master
master
1h 1m 20s
Update CONTRIBUTING.md (#1614) Nix CI for bundle rocq-master #8: Commit 0725133 pushed by hivert
54m 20s master
master
54m 20s
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
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
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
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-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-master #1: Commit f03a913 pushed by hivert
1h 56m 30s master
master
1h 56m 30s