Skip to content

Actions: rocq-prover/stdlib

Actions

Nix CI for bundle rocq-9.2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.2.yml
289 workflow runs
289 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 #310 from proux01/ci-update Nix CI for bundle rocq-9.2 #289: Commit cdd77d8 pushed by proux01
34m 31s master
master
34m 31s
[CI] Update Nix CI for bundle rocq-9.2 #288: Pull request #310 synchronize by proux01
40m 4s proux01:ci-update
proux01:ci-update
40m 4s
[CI] Update Nix CI for bundle rocq-9.2 #287: Pull request #310 synchronize by proux01
39m 51s
39m 51s
[CI] Update Nix CI for bundle rocq-9.2 #286: Pull request #310 synchronize by proux01
24m 5s proux01:ci-update
proux01:ci-update
24m 5s
[CI] Update Nix CI for bundle rocq-9.2 #285: Pull request #310 synchronize by proux01
19m 8s
19m 8s
[CI] Update Nix CI for bundle rocq-9.2 #284: Pull request #310 synchronize by proux01
31m 22s proux01:ci-update
proux01:ci-update
31m 22s
[CI] Update Nix CI for bundle rocq-9.2 #283: Pull request #310 synchronize by proux01
31m 19s
31m 19s
[CI] Update Nix CI for bundle rocq-9.2 #282: Pull request #310 synchronize by proux01
51m 42s proux01:ci-update
proux01:ci-update
51m 42s
[CI] Update Nix CI for bundle rocq-9.2 #281: Pull request #310 synchronize by proux01
50m 21s
50m 21s
Add ↔︎ with text variation selector as a notation for equivalence. Nix CI for bundle rocq-9.2 #280: Pull request #311 opened by zacharie-moughanim
18m 27s
18m 27s
[CI] Update Nix CI for bundle rocq-9.2 #279: Pull request #310 opened by proux01
27m 29s proux01:ci-update
proux01:ci-update
27m 29s
[CI] Update Nix CI for bundle rocq-9.2 #278: Pull request #310 opened by proux01
33m 53s
33m 53s
Merge pull request #309 from Durbatuluk1701/master Nix CI for bundle rocq-9.2 #277: Commit b000bae pushed by proux01
6m 51s master
master
6m 51s
restore All.v to Makefile Nix CI for bundle rocq-9.2 #276: Pull request #309 opened by Durbatuluk1701
21m 59s
21m 59s
Add Euler's criterion and quadratic reciprocity for Zmod Nix CI for bundle rocq-9.2 #275: Pull request #307 synchronize by JasonGross
35m 50s
35m 50s
Add Euler's criterion and quadratic reciprocity for Zmod Nix CI for bundle rocq-9.2 #274: Pull request #307 opened by JasonGross
2s
2s
Add prime factorization (Factoring.v) and coprimality iff lemmas Nix CI for bundle rocq-9.2 #273: Pull request #306 synchronize by JasonGross
6m 22s
6m 22s
Add prime factorization (Factoring.v) and coprimality iff lemmas Nix CI for bundle rocq-9.2 #272: Pull request #306 opened by JasonGross
4s
4s
Merge pull request #305 from OwenConoly/perm_filter Nix CI for bundle rocq-9.2 #271: Commit 1593d61 pushed by andres-erbsen
6m 33s master
master
6m 33s
add Permutation_filter Nix CI for bundle rocq-9.2 #270: Pull request #305 synchronize by OwenConoly
26m 22s
26m 22s
add Permutation_filter Nix CI for bundle rocq-9.2 #269: Pull request #305 opened by OwenConoly
10m 33s
10m 33s
Merge pull request #304 from proux01/rm-rocq-wrap Nix CI for bundle rocq-9.2 #268: Commit 3e8123c pushed by proux01
9m 15s master
master
9m 15s
Cleanup no longer needed rocq-wrap.sh Nix CI for bundle rocq-9.2 #267: Pull request #304 opened by proux01
32m 6s
32m 6s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #266: Pull request #251 synchronize by proux01
15m 36s fajb:tify
fajb:tify
15m 36s
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) Nix CI for bundle rocq-9.2 #265: Pull request #251 synchronize by proux01
12m 25s
12m 25s