Skip to content

Actions: PerAlexandersson/RealRooted

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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 weighted deco interval-preserver challenge Lean Action CI #4869: Commit 7082399 pushed by PerAlexandersson
8m 2s main
main
8m 2s
add weighted deco interval-preserver challenge Comparator CI (a trustworthy judge for Lean proofs) #3680: Commit 7082399 pushed by PerAlexandersson
12m 59s main
main
12m 59s
Cite Alexandersson–Leite for the orientation and minima pages Lean Action CI #4868: Pull request #1103 opened by PerAlexandersson
34m 40s docs/orientation-citations
docs/orientation-citations
34m 40s
Cite Alexandersson–Leite for the orientation and minima pages Comparator CI (a trustworthy judge for Lean proofs) #3679: Pull request #1103 opened by PerAlexandersson
6m 40s docs/orientation-citations
docs/orientation-citations
6m 40s
CommonInterleaver: state the Chudnovsky–Seymour pair chain directly (part 2) Lean Action CI #4867: Pull request #1101 synchronize by PerAlexandersson
44m 14s chore/wrappers-ci-2
chore/wrappers-ci-2
44m 14s
CommonInterleaver: state the Chudnovsky–Seymour pair chain directly (part 2) Comparator CI (a trustworthy judge for Lean proofs) #3678: Pull request #1101 synchronize by PerAlexandersson
10m 38s chore/wrappers-ci-2
chore/wrappers-ci-2
10m 38s
CommonInterleaver: delete dead Chudnovsky–Seymour reduction routes (part 1) Lean Action CI #4866: Pull request #1098 synchronize by PerAlexandersson
49m 59s chore/wrappers-ci
chore/wrappers-ci
49m 59s
CommonInterleaver: delete dead Chudnovsky–Seymour reduction routes (part 1) Comparator CI (a trustworthy judge for Lean proofs) #3677: Pull request #1098 synchronize by PerAlexandersson
9m 26s chore/wrappers-ci
chore/wrappers-ci
9m 26s
Hurwitz/Hadamard cluster: state proved results directly, drop Statement wrappers Lean Action CI #4865: Pull request #1093 synchronize by PerAlexandersson
46m 53s chore/wrappers-hurwitz
chore/wrappers-hurwitz
46m 53s
Hurwitz/Hadamard cluster: state proved results directly, drop Statement wrappers Comparator CI (a trustworthy judge for Lean proofs) #3676: Pull request #1093 synchronize by PerAlexandersson
10m 10s chore/wrappers-hurwitz
chore/wrappers-hurwitz
10m 10s
Liu: state Theorem 2.1 directly, drop statement scaffolding (part 1) Lean Action CI #4864: Pull request #1096 synchronize by PerAlexandersson
49m 30s chore/wrappers-liu
chore/wrappers-liu
49m 30s
Liu: state Theorem 2.1 directly, drop statement scaffolding (part 1) Comparator CI (a trustworthy judge for Lean proofs) #3675: Pull request #1096 synchronize by PerAlexandersson
9m 38s chore/wrappers-liu
chore/wrappers-liu
9m 38s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Lean Action CI #4863: Pull request #1100 synchronize by PerAlexandersson
3m 58s chore/wrappers-liu-2
chore/wrappers-liu-2
3m 58s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Lean Action CI #4862: Pull request #1100 synchronize by PerAlexandersson
50m 28s chore/wrappers-liu-2
chore/wrappers-liu-2
50m 28s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Comparator CI (a trustworthy judge for Lean proofs) #3674: Pull request #1100 synchronize by PerAlexandersson
9m 37s chore/wrappers-liu-2
chore/wrappers-liu-2
9m 37s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Comparator CI (a trustworthy judge for Lean proofs) #3673: Pull request #1100 synchronize by PerAlexandersson
10m 52s chore/wrappers-liu-2
chore/wrappers-liu-2
10m 52s
Remove Statement-wrapper scaffolding (GeneralizedSnakePosets) Lean Action CI #4861: Pull request #1099 synchronize by PerAlexandersson
35m 54s chore/wrappers-misc-gsp
chore/wrappers-misc-gsp
35m 54s
Remove Statement-wrapper scaffolding (GeneralizedSnakePosets) Comparator CI (a trustworthy judge for Lean proofs) #3672: Pull request #1099 synchronize by PerAlexandersson
11m 7s chore/wrappers-misc-gsp
chore/wrappers-misc-gsp
11m 7s
Remove Statement-wrapper scaffolding (misc cluster) (#1094) Lean Action CI #4860: Commit 4b488d3 pushed by PerAlexandersson
48m 25s main
main
48m 25s
Remove Statement-wrapper scaffolding (misc cluster) (#1094) Comparator CI (a trustworthy judge for Lean proofs) #3671: Commit 4b488d3 pushed by PerAlexandersson
9m 51s main
main
9m 51s
Forests: minima polynomial equals the line graph's acyclic sink polyn… Lean Action CI #4859: Commit feabccf pushed by PerAlexandersson
9m 1s main
main
9m 1s
Forests: minima polynomial equals the line graph's acyclic sink polyn… Comparator CI (a trustworthy judge for Lean proofs) #3670: Commit feabccf pushed by PerAlexandersson
7m 40s main
main
7m 40s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Lean Action CI #4858: Pull request #1100 synchronize by PerAlexandersson
10m 24s chore/wrappers-liu-2
chore/wrappers-liu-2
10m 24s
Liu: state x-subtraction, quartic boundary and root-order lemmas directly (part 2) Comparator CI (a trustworthy judge for Lean proofs) #3669: Pull request #1100 synchronize by PerAlexandersson
7m 4s chore/wrappers-liu-2
chore/wrappers-liu-2
7m 4s
CommonInterleaver: state the Chudnovsky–Seymour pair chain directly (part 2) Lean Action CI #4857: Pull request #1101 synchronize by PerAlexandersson
22m 56s chore/wrappers-ci-2
chore/wrappers-ci-2
22m 56s