Skip to content

Actions: math-comp/Abel

Actions

Nix CI for bundle coq8.20+mcmathcomp-2.3.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.20+mcmathcomp-2.3.0.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abel-Galois for any characteristic Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #11: Pull request #83 synchronize by Tragicus
7m 22s
7m 22s
updating nix and CI Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #10: Pull request #102 opened by CohenCyril
46s
46s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #9: Commit 9a55f29 pushed by proux01
9m 1s master
master
9m 1s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #8: Pull request #101 opened by proux01
5m 48s
5m 48s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #7: Commit e67332f pushed by CohenCyril
5m 43s master
master
5m 43s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #6: Pull request #100 opened by proux01
8m 1s
8m 1s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #5: Commit da027c0 pushed by CohenCyril
5m 37s master
master
5m 37s
Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352" Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #4: Pull request #99 opened by proux01
13m 3s
13m 3s
Merge pull request #98 from proux01/mc1352 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #3: Commit 371d626 pushed by CohenCyril
9m 16s master
master
9m 16s
Adapt to https://github.com/math-comp/math-comp/pull/1352 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #2: Pull request #98 opened by proux01
8m 23s
8m 23s
Merge pull request #97 from proux01/no-stdlib Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #1: Commit 05b1b9a pushed by CohenCyril
18m 59s master
master
18m 59s