Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coq8.18+mcmathcomp-2.1.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.18+mcmathcomp-2.1.0.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abel-Galois for any characteristic Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #53: Pull request #83 synchronize by Tragicus
3m 33s
3m 33s
updating nix and CI Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #52: Pull request #102 opened by CohenCyril
43s
43s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #51: Commit 9a55f29 pushed by proux01
4m 2s master
master
4m 2s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #50: Pull request #101 opened by proux01
3m 46s
3m 46s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #49: Commit e67332f pushed by CohenCyril
4m 21s master
master
4m 21s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #48: Pull request #100 opened by proux01
4m 42s
4m 42s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #47: Commit da027c0 pushed by CohenCyril
5m 43s master
master
5m 43s
Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352" Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #46: Pull request #99 opened by proux01
13m 6s
13m 6s
Merge pull request #98 from proux01/mc1352 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #45: Commit 371d626 pushed by CohenCyril
7m 58s master
master
7m 58s
Adapt to https://github.com/math-comp/math-comp/pull/1352 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #44: Pull request #98 opened by proux01
7m 49s
7m 49s
Merge pull request #97 from proux01/no-stdlib Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #43: Commit 05b1b9a pushed by CohenCyril
7m 48s master
master
7m 48s
Remove Stdlib dependency Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #42: Pull request #97 synchronize by proux01
23m 6s
23m 6s
Remove Stdlib dependency Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #41: Pull request #97 synchronize by proux01
13m 19s
13m 19s
Remove Stdlib dependency Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #40: Pull request #97 synchronize by proux01
5m 39s
5m 39s
Remove Stdlib dependency Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #39: Pull request #97 opened by proux01
8m 52s
8m 52s
Merge pull request #96 from proux01/mc1343 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #38: Commit 08f7100 pushed by CohenCyril
8m 34s master
master
8m 34s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #37: Pull request #96 opened by proux01
25m 15s
25m 15s
Regenerate data from meta.yml Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #36: Commit d01e085 pushed by CohenCyril
5m 56s master
master
5m 56s