Skip to content

Actions: carlok/LeanFrontier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,358 workflow runs
1,358 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
mathlib-release-upgrade mathlib-release-upgrade #5: Scheduled
13s main
main
13s
auto-merge auto-merge #69: completed by qazW12345
10s
10s
feat(Geometry): bridge Ford circles to Euclidean sphere tangency test #667: Pull request #180 opened by qazW12345
14s qazW12345:submission/ford-circle-sphere-tangency
qazW12345:submission/ford-circle-sphere-tangency
14s
feat(Geometry): bridge Ford circles to Euclidean sphere tangency validate-submission #329: Pull request #180 opened by qazW12345
4m 53s qazW12345:submission/ford-circle-sphere-tangency
qazW12345:submission/ford-circle-sphere-tangency
4m 53s
auto-merge auto-merge #68: completed by qazW12345
13s
13s
feat(NumberTheory): add ordered Markov-tree descent test #666: Pull request #179 opened by qazW12345
17s qazW12345:submission/markov-tree-descent
qazW12345:submission/markov-tree-descent
17s
feat(NumberTheory): add ordered Markov-tree descent validate-submission #328: Pull request #179 opened by qazW12345
4m 10s qazW12345:submission/markov-tree-descent
qazW12345:submission/markov-tree-descent
4m 10s
Merge pull request #178 from carlok/maintenance/field-note-11 test #665: Commit 9f708c1 pushed by carlok
14s main
main
14s
Merge pull request #178 from carlok/maintenance/field-note-11 deploy-pages #47: Commit 9f708c1 pushed by carlok
31s main
main
31s
Merge pull request #178 from carlok/maintenance/field-note-11 record-observation #164: Commit 9f708c1 pushed by carlok
10s main
main
10s
Merge pull request #178 from carlok/maintenance/field-note-11 reconcile-generated #61: Commit 9f708c1 pushed by carlok
17s main
main
17s
auto-merge auto-merge #67: completed by carlok
16s
16s
Document the first-time fork submission path validate-submission #327: Pull request #178 opened by carlok
15s maintenance/field-note-11
maintenance/field-note-11
15s
Document the first-time fork submission path test #664: Pull request #178 opened by carlok
17s maintenance/field-note-11
maintenance/field-note-11
17s
Add field note for first-time fork submission test #663: Commit 59f968b pushed by carlok
17s maintenance/field-note-11
maintenance/field-note-11
17s
Merge pull request #177 from carlok/automation/generated/observation-… record-observation #163: Commit 9a640fb pushed by leanfrontier-receiver Bot
12s main
main
12s
Merge pull request #177 from carlok/automation/generated/observation-… reconcile-generated #60: Commit 9a640fb pushed by leanfrontier-receiver Bot
10s main
main
10s
Merge pull request #177 from carlok/automation/generated/observation-… sync-catalogue #52: Commit 9a640fb pushed by leanfrontier-receiver Bot
14s main
main
14s
Merge pull request #177 from carlok/automation/generated/observation-… test #662: Commit 9a640fb pushed by leanfrontier-receiver Bot
16s main
main
16s
Merge pull request #177 from carlok/automation/generated/observation-… deploy-pages #46: Commit 9a640fb pushed by leanfrontier-receiver Bot
22s main
main
22s
auto-merge auto-merge #66: completed by carlok
10s
10s
chore: record receiver observation test #661: Pull request #177 synchronize by carlok
17s automation/generated/observation-34713327335
automation/generated/observation-34713327335
17s
chore: record receiver observation validate-submission #326: Pull request #177 synchronize by carlok
14s automation/generated/observation-34713327335
automation/generated/observation-34713327335
14s
Merge branch 'main' into automation/generated/observation-34713327335 test #660: Commit a9907ec pushed by carlok
14s automation/generated/observation-34713327335
automation/generated/observation-34713327335
14s
auto-merge auto-merge #65: completed by leanfrontier-receiver Bot
15s
15s