Skip to content

Actions: qazW12345/LeanFrontier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 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
[validation] Farey–Ford circle maximality validate-submission #18: Pull request #5 opened by qazW12345
In progress submission/farey-ford-circle-maximality
submission/farey-ford-circle-maximality
In progress
[validation] Farey–Ford circle maximality test #95: Pull request #5 opened by qazW12345
12s submission/farey-ford-circle-maximality
submission/farey-ford-circle-maximality
12s
ops: revalidate Farey Ford circle maximality validate-oci #23: Commit 721fd47 pushed by qazW12345
9m 1s ops/oci-validator
ops/oci-validator
9m 1s
ops: revalidate Farey Ford circle maximality test #94: Commit 721fd47 pushed by qazW12345
21s ops/oci-validator
ops/oci-validator
21s
ops: validate Farey Ford circle maximality validate-oci #22: Commit 576fcc0 pushed by qazW12345
8m 25s ops/oci-validator
ops/oci-validator
8m 25s
ops: validate Farey Ford circle maximality test #93: Commit 576fcc0 pushed by qazW12345
14s ops/oci-validator
ops/oci-validator
14s
docs: remove stale PR ceiling guidance test #92: Commit 1ba4e70 pushed by qazW12345
18s ops/oci-validator
ops/oci-validator
18s
docs: record upstream PR cadence guidance test #91: Commit 39c0780 pushed by qazW12345
19s ops/oci-validator
ops/oci-validator
19s
auto-merge auto-merge #17: completed by qazW12345
8s
8s
Horadam companion-matrix theory validate-submission #17: Pull request #4 synchronize by qazW12345
9m 38s submission/horadam-companion-matrix
submission/horadam-companion-matrix
9m 38s
Horadam companion-matrix theory test #90: Pull request #4 synchronize by qazW12345
17s submission/horadam-companion-matrix
submission/horadam-companion-matrix
17s
Merge pull request #193 from carlok/maintenance/receiver-submitter-di… record-observation #10: Commit 2e83711 pushed by qazW12345
7s main
main
7s
Merge pull request #193 from carlok/maintenance/receiver-submitter-di… reconcile-generated #10: Commit 2e83711 pushed by qazW12345
8s main
main
8s
Merge pull request #193 from carlok/maintenance/receiver-submitter-di… test #89: Commit 2e83711 pushed by qazW12345
13s main
main
13s
Merge pull request #192 from carlok/maintenance/field-note-12-tense record-observation #9: Commit 7a75110 pushed by qazW12345
10s main
main
10s
Merge pull request #192 from carlok/maintenance/field-note-12-tense sync-catalogue #2: Commit 7a75110 pushed by qazW12345
25s main
main
25s
Merge pull request #192 from carlok/maintenance/field-note-12-tense deploy-pages #2: Commit 7a75110 pushed by qazW12345
9s main
main
9s
Merge pull request #192 from carlok/maintenance/field-note-12-tense reconcile-generated #9: Commit 7a75110 pushed by qazW12345
42s main
main
42s
Merge pull request #192 from carlok/maintenance/field-note-12-tense test #88: Commit 7a75110 pushed by qazW12345
20s main
main
20s
Merge pull request #192 from carlok/maintenance/field-note-12-tense sync-umbrella #2: Commit 7a75110 pushed by qazW12345
9s main
main
9s
auto-merge auto-merge #16: completed by carlok
1s
1s
Ford-circle bridge to Euclidean sphere tangency test #87: Pull request #3 synchronize by carlok
14s submission/ford-circle-sphere-tangency
submission/ford-circle-sphere-tangency
14s
Ford-circle bridge to Euclidean sphere tangency validate-submission #16: Pull request #3 synchronize by carlok
13s submission/ford-circle-sphere-tangency
submission/ford-circle-sphere-tangency
13s
Merge branch 'main' into submission/ford-circle-sphere-tangency test #86: Commit 3192a3c pushed by carlok
15s submission/ford-circle-sphere-tangency
submission/ford-circle-sphere-tangency
15s
auto-merge auto-merge #15: completed by qazW12345
9s
9s