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
Expose Favard consecutive interlacing Lean Action CI #3320: Commit 6f9a068 pushed by PerAlexandersson
3h 31m 27s main
main
3h 31m 27s
Expose Favard consecutive interlacing Comparator CI (a trustworthy judge for Lean proofs) #2656: Commit 6f9a068 pushed by PerAlexandersson
13m 13s main
main
13m 13s
Handle variable-scaled linear power rows Lean Action CI #3319: Commit 09e770f pushed by PerAlexandersson
40m 56s main
main
40m 56s
Handle variable-scaled linear power rows Comparator CI (a trustworthy judge for Lean proofs) #2655: Commit 09e770f pushed by PerAlexandersson
12m 28s main
main
12m 28s
Expose endpoint operator certificates Lean Action CI #3318: Commit 637e52b pushed by PerAlexandersson
55m 50s main
main
55m 50s
Expose endpoint operator certificates Comparator CI (a trustworthy judge for Lean proofs) #2654: Commit 637e52b pushed by PerAlexandersson
12m 26s main
main
12m 26s
Add endpoint derivative sequence tactics Comparator CI (a trustworthy judge for Lean proofs) #2653: Commit c2d8740 pushed by PerAlexandersson
12m 43s main
main
12m 43s
Add endpoint derivative sequence tactics Lean Action CI #3317: Commit c2d8740 pushed by PerAlexandersson
2h 14m 55s main
main
2h 14m 55s
Add Borcea-Branden classification challenge Lean Action CI #3316: Commit 6761e2a pushed by PerAlexandersson
3h 59m 39s main
main
3h 59m 39s
Add Borcea-Branden classification challenge Comparator CI (a trustworthy judge for Lean proofs) #2652: Commit 6761e2a pushed by PerAlexandersson
48m 45s main
main
48m 45s
Bridge univariate upper-half-plane stability Lean Action CI #3315: Commit ade4ac0 pushed by PerAlexandersson
4m 59s main
main
4m 59s
Bridge univariate upper-half-plane stability Comparator CI (a trustworthy judge for Lean proofs) #2651: Commit ade4ac0 pushed by PerAlexandersson
49m 42s main
main
49m 42s
Merge pull request #301 from PerAlexandersson/codex-degreebox297 Comparator CI (a trustworthy judge for Lean proofs) #2650: Commit 56ec425 pushed by PerAlexandersson
39m 24s main
main
39m 24s
Merge pull request #301 from PerAlexandersson/codex-degreebox297 Lean Action CI #3314: Commit 56ec425 pushed by PerAlexandersson
4h 0m 22s main
main
4h 0m 22s
Extend affine finite-symbol sufficiency to degree boxes Lean Action CI #3313: Pull request #301 synchronize by PerAlexandersson
16s codex-degreebox297
codex-degreebox297
16s
Extend affine finite-symbol sufficiency to degree boxes Comparator CI (a trustworthy judge for Lean proofs) #2649: Pull request #301 synchronize by PerAlexandersson
51m 22s codex-degreebox297
codex-degreebox297
51m 22s
Merge remote-tracking branch 'origin/main' into codex-degreebox297 Lean Action CI #3312: Commit 11b7867 pushed by PerAlexandersson
5s codex-degreebox297
codex-degreebox297
5s
Merge pull request #295 from PerAlexandersson/codex-liu64-resume Comparator CI (a trustworthy judge for Lean proofs) #2648: Commit 681c594 pushed by PerAlexandersson
47m 5s main
main
47m 5s
Merge pull request #295 from PerAlexandersson/codex-liu64-resume Lean Action CI #3311: Commit 681c594 pushed by PerAlexandersson
11m 55s main
main
11m 55s
Prove Liu cross-owned gaps by bounded continuity Comparator CI (a trustworthy judge for Lean proofs) #2647: Pull request #295 synchronize by PerAlexandersson
47m 47s codex-liu64-resume
codex-liu64-resume
47m 47s
Prove Liu cross-owned gaps by bounded continuity Lean Action CI #3310: Pull request #295 synchronize by PerAlexandersson
11s codex-liu64-resume
codex-liu64-resume
11s
Repair Liu bounded-continuity integration Lean Action CI #3309: Commit f1b9da0 pushed by PerAlexandersson
6s codex-liu64-resume
codex-liu64-resume
6s
Merge pull request #353 from PerAlexandersson/codex-hs316 Comparator CI (a trustworthy judge for Lean proofs) #2646: Commit c0d66c9 pushed by PerAlexandersson
28m 31s main
main
28m 31s
Merge pull request #353 from PerAlexandersson/codex-hs316 Lean Action CI #3308: Commit c0d66c9 pushed by PerAlexandersson
16m 0s main
main
16m 0s
Export Hoster-Stump interlacing obstruction Comparator CI (a trustworthy judge for Lean proofs) #2645: Pull request #353 opened by PerAlexandersson
27m 39s codex-hs316
codex-hs316
27m 39s