Skip to content

Actions: rocq-prover/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,545 workflow runs
1,545 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
Add Euler's criterion and quadratic reciprocity for Zmod CI (Alpine) #497: Pull request #307 synchronize by JasonGross
48s JasonGross:fable/zmod-reciprocity
JasonGross:fable/zmod-reciprocity
48s
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-master #848: Pull request #307 synchronize by JasonGross
1h 45m 23s
1h 45m 23s
Add Euler's criterion and quadratic reciprocity for Zmod Nix CI for bundle rocq-9.3 #47: Pull request #307 synchronize by JasonGross
51m 12s
51m 12s
Add Euler's criterion and quadratic reciprocity for Zmod Nix CI for bundle rocq-9.3 #46: Pull request #307 opened by JasonGross
2s
2s
Add Euler's criterion and quadratic reciprocity for Zmod Nix CI for bundle rocq-master #847: Pull request #307 opened by JasonGross
3s
3s
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 CI (Alpine) #496: Pull request #306 synchronize by JasonGross
18s JasonGross:fable/factoring
JasonGross:fable/factoring
18s
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-master #846: Pull request #306 synchronize by JasonGross
6m 17s
6m 17s
Add prime factorization (Factoring.v) and coprimality iff lemmas Nix CI for bundle rocq-9.3 #45: Pull request #306 synchronize by JasonGross
7m 0s
7m 0s
Add prime factorization (Factoring.v) and coprimality iff lemmas CI (Alpine) #495: Pull request #306 opened by JasonGross
5s JasonGross:fable/factoring
JasonGross:fable/factoring
5s
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
Add prime factorization (Factoring.v) and coprimality iff lemmas Nix CI for bundle rocq-master #845: Pull request #306 opened by JasonGross
8s
8s
Add prime factorization (Factoring.v) and coprimality iff lemmas Nix CI for bundle rocq-9.3 #44: Pull request #306 opened by JasonGross
5s
5s
CI (Alpine) CI (Alpine) #494: Scheduled
17s master
master
17s
Merge pull request #305 from OwenConoly/perm_filter Nix CI for bundle rocq-master #844: Commit 1593d61 pushed by andres-erbsen
25m 32s master
master
25m 32s
Merge pull request #305 from OwenConoly/perm_filter Nix CI for bundle rocq-9.3 #43: Commit 1593d61 pushed by andres-erbsen
9m 14s master
master
9m 14s
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
Merge pull request #305 from OwenConoly/perm_filter CI (Alpine) #493: Commit 1593d61 pushed by andres-erbsen
13s master
master
13s
add Permutation_filter CI (Alpine) #492: Pull request #305 synchronize by OwenConoly
18s OwenConoly:perm_filter
OwenConoly:perm_filter
18s
add Permutation_filter Nix CI for bundle rocq-master #843: Pull request #305 synchronize by OwenConoly
1h 29m 32s
1h 29m 32s
add Permutation_filter Nix CI for bundle rocq-9.3 #42: Pull request #305 synchronize by OwenConoly
25m 22s
25m 22s
add Permutation_filter Nix CI for bundle rocq-9.2 #270: Pull request #305 synchronize by OwenConoly
26m 22s
26m 22s
add Permutation_filter CI (Alpine) #491: Pull request #305 opened by OwenConoly
21s OwenConoly:perm_filter
OwenConoly:perm_filter
21s