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
feat(matrix): derive irreducibility from adjacent positivity Comparator CI (a trustworthy judge for Lean proofs) #2773: Pull request #428 synchronize by PerAlexandersson
49m 48s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
49m 48s
feat(matrix): derive irreducibility from adjacent positivity Lean Action CI #3519: Pull request #428 synchronize by PerAlexandersson
41m 34s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
41m 34s
feat(matrix): preserve principal spectra under block conjugation Lean Action CI #3518: Commit d7cddc2 pushed by PerAlexandersson
5s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
5s
feat(matrix): derive irreducibility from adjacent positivity Lean Action CI #3517: Pull request #428 opened by PerAlexandersson
16m 54s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
16m 54s
feat(matrix): derive irreducibility from adjacent positivity Comparator CI (a trustworthy judge for Lean proofs) #2772: Pull request #428 opened by PerAlexandersson
54m 45s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
54m 45s
feat(matrix): derive irreducibility from adjacent positivity Lean Action CI #3516: Commit 83ab624 pushed by PerAlexandersson
5s proof/issue-421-oscillatory-missing-theory
proof/issue-421-oscillatory-missing-theory
5s
Add banded lower-Hessenberg determinant recurrence Lean Action CI #3515: Pull request #427 opened by PerAlexandersson
38m 41s proof/issue-425-variable-hessenberg-det
proof/issue-425-variable-hessenberg-det
38m 41s
Add banded lower-Hessenberg determinant recurrence Comparator CI (a trustworthy judge for Lean proofs) #2771: Pull request #427 opened by PerAlexandersson
51m 41s proof/issue-425-variable-hessenberg-det
proof/issue-425-variable-hessenberg-det
51m 41s
Import banded Hessenberg determinant module Lean Action CI #3514: Commit 4f45667 pushed by PerAlexandersson
23s proof/issue-425-variable-hessenberg-det
proof/issue-425-variable-hessenberg-det
23s
Add finite shifted Jacobi polynomial algebra Comparator CI (a trustworthy judge for Lean proofs) #2770: Pull request #426 opened by PerAlexandersson
47m 17s proof/issue-424-shifted-jacobi-algebra
proof/issue-424-shifted-jacobi-algebra
47m 17s
Add finite shifted Jacobi polynomial algebra Lean Action CI #3513: Pull request #426 opened by PerAlexandersson
11m 52s proof/issue-424-shifted-jacobi-algebra
proof/issue-424-shifted-jacobi-algebra
11m 52s
Import shifted Jacobi polynomial module Lean Action CI #3512: Commit 6357231 pushed by PerAlexandersson
18s proof/issue-424-shifted-jacobi-algebra
proof/issue-424-shifted-jacobi-algebra
18s
Expose ordered spectrum from primitive compounds Comparator CI (a trustworthy judge for Lean proofs) #2769: Pull request #423 synchronize by PerAlexandersson
6m 41s proof/issue-421-oscillatory
proof/issue-421-oscillatory
6m 41s
Expose ordered spectrum from primitive compounds Lean Action CI #3511: Pull request #423 synchronize by PerAlexandersson
13m 48s proof/issue-421-oscillatory
proof/issue-421-oscillatory
13m 48s
fix: use an identifier for interlacing roots Lean Action CI #3510: Commit 13f9f40 pushed by PerAlexandersson
2h 3m 21s proof/issue-421-oscillatory
proof/issue-421-oscillatory
2h 3m 21s
Expose ordered spectrum from primitive compounds Comparator CI (a trustworthy judge for Lean proofs) #2768: Pull request #423 opened by PerAlexandersson
7m 26s proof/issue-421-oscillatory
proof/issue-421-oscillatory
7m 26s
Expose ordered spectrum from primitive compounds Lean Action CI #3509: Pull request #423 opened by PerAlexandersson
2h 6m 3s proof/issue-421-oscillatory
proof/issue-421-oscillatory
2h 6m 3s
feat: expose ordered primitive-compound spectrum Lean Action CI #3508: Commit 2062c93 pushed by PerAlexandersson
2h 2m 27s proof/issue-421-oscillatory
proof/issue-421-oscillatory
2h 2m 27s
Merge pull request #419 from PerAlexandersson/proof/a262704-close Comparator CI (a trustworthy judge for Lean proofs) #2767: Commit 439e8cb pushed by PerAlexandersson
51m 46s main
main
51m 46s
Merge pull request #419 from PerAlexandersson/proof/a262704-close Lean Action CI #3507: Commit 439e8cb pushed by PerAlexandersson
2h 44m 10s main
main
2h 44m 10s
Formalize the A262704 determinant model Comparator CI (a trustworthy judge for Lean proofs) #2766: Pull request #419 synchronize by PerAlexandersson
39m 7s proof/a262704-close
proof/a262704-close
39m 7s
Formalize the A262704 determinant model Lean Action CI #3506: Pull request #419 synchronize by PerAlexandersson
1h 16m 28s proof/a262704-close
proof/a262704-close
1h 16m 28s
chore: import A262704 modules from root Lean Action CI #3505: Commit 5331818 pushed by PerAlexandersson
1h 44m 23s proof/a262704-close
proof/a262704-close
1h 44m 23s
Formalize the A262704 determinant model Comparator CI (a trustworthy judge for Lean proofs) #2765: Pull request #419 opened by PerAlexandersson
36m 40s proof/a262704-close
proof/a262704-close
36m 40s
Formalize the A262704 determinant model Lean Action CI #3504: Pull request #419 opened by PerAlexandersson
11s proof/a262704-close
proof/a262704-close
11s