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
Polish Jensen pencil contraction proof Comparator CI (a trustworthy judge for Lean proofs) #2697: Commit 86fce9c pushed by PerAlexandersson
11m 34s main
main
11m 34s
Polish Jensen pencil contraction proof Lean Action CI #3367: Commit 86fce9c pushed by PerAlexandersson
3h 18m 18s main
main
3h 18m 18s
Prove Jensen pencil bidiagonal preserver Lean Action CI #3366: Commit bf82eb9 pushed by PerAlexandersson
2h 36m 57s main
main
2h 36m 57s
Prove Jensen pencil bidiagonal preserver Comparator CI (a trustworthy judge for Lean proofs) #2696: Commit bf82eb9 pushed by PerAlexandersson
12m 22s main
main
12m 22s
Update Borcea Branden proof status Comparator CI (a trustworthy judge for Lean proofs) #2695: Commit 5015f96 pushed by PerAlexandersson
11m 58s main
main
11m 58s
Update Borcea Branden proof status Lean Action CI #3365: Commit 5015f96 pushed by PerAlexandersson
1h 30m 36s main
main
1h 30m 36s
Prove finite complex symbol classification Lean Action CI #3364: Commit 253c1b4 pushed by PerAlexandersson
2h 6m 10s main
main
2h 6m 10s
Prove finite complex symbol classification Comparator CI (a trustworthy judge for Lean proofs) #2694: Commit 253c1b4 pushed by PerAlexandersson
12m 28s main
main
12m 28s
Preserve stability under source polarization Lean Action CI #3363: Commit 10abc75 pushed by PerAlexandersson
2h 54m 31s main
main
2h 54m 31s
Preserve stability under source polarization Comparator CI (a trustworthy judge for Lean proofs) #2693: Commit 10abc75 pushed by PerAlexandersson
1m 13s main
main
1m 13s
Compute general polarized symbol normal form Lean Action CI #3362: Commit 11c39b3 pushed by PerAlexandersson
5m 42s main
main
5m 42s
Compute general polarized symbol normal form Comparator CI (a trustworthy judge for Lean proofs) #2692: Commit 11c39b3 pushed by PerAlexandersson
5m 46s main
main
5m 46s
Reduce Jensen pencil theorem to root contraction Comparator CI (a trustworthy judge for Lean proofs) #2691: Commit 72b14e4 pushed by PerAlexandersson
12m 41s main
main
12m 41s
Reduce Jensen pencil theorem to root contraction Lean Action CI #3361: Commit 72b14e4 pushed by PerAlexandersson
24m 33s main
main
24m 33s
Prove general blockwise polarization stability Lean Action CI #3360: Commit e550ad9 pushed by PerAlexandersson
19m 54s main
main
19m 54s
Prove general blockwise polarization stability Comparator CI (a trustworthy judge for Lean proofs) #2690: Commit e550ad9 pushed by PerAlexandersson
11m 42s main
main
11m 42s
Polarize separated source monomials Lean Action CI #3359: Commit ead915e pushed by PerAlexandersson
14m 57s main
main
14m 57s
Polarize separated source monomials Comparator CI (a trustworthy judge for Lean proofs) #2689: Commit ead915e pushed by PerAlexandersson
11m 53s main
main
11m 53s
Define partial blockwise polarization stages Lean Action CI #3358: Commit 85351d1 pushed by PerAlexandersson
1m 52s main
main
1m 52s
Define partial blockwise polarization stages Comparator CI (a trustworthy judge for Lean proofs) #2688: Commit 85351d1 pushed by PerAlexandersson
14m 43s main
main
14m 43s
Compute polarization of bounded monomials Comparator CI (a trustworthy judge for Lean proofs) #2687: Commit e21771b pushed by PerAlexandersson
13m 0s main
main
13m 0s
Compute polarization of bounded monomials Lean Action CI #3357: Commit e21771b pushed by PerAlexandersson
3m 28s main
main
3m 28s
Prove staged source polarization invariants Lean Action CI #3356: Commit 5e7cbce pushed by PerAlexandersson
1m 4s main
main
1m 4s
Prove staged source polarization invariants Comparator CI (a trustworthy judge for Lean proofs) #2686: Commit 5e7cbce pushed by PerAlexandersson
2m 31s main
main
2m 31s
Add source polarization stage equivalences Lean Action CI #3355: Commit 4004f3c pushed by PerAlexandersson
4m 54s main
main
4m 54s