Skip to content

Actions: SuvirRathore/lambda_adic_slice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 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
Name the prover in the audit opening; record the route provenance of … build #14: Commit 8823e05 pushed by SuvirRathore
2m 19s main
main
2m 19s
Record the adversarial probe results build #13: Commit a8f3495 pushed by SuvirRathore
3m 50s main
main
3m 50s
Describe the CI sorry count exactly; name its boundary in AUDIT build #12: Commit e8cba33 pushed by SuvirRathore
3m 55s main
main
3m 55s
Apply review findings: Profinite.lean inventory, accuracy and registe… build #11: Commit ae65a2f pushed by SuvirRathore
3m 46s main
main
3m 46s
Tighten prose and docstrings; align README and AUDIT registers build #10: Commit dbe1052 pushed by SuvirRathore
3m 46s main
main
3m 46s
Determinant conclusion noted as implied by the others via Chebotarev build #9: Commit 213444c pushed by SuvirRathore
3m 52s main
main
3m 52s
Third-round corrections; sorry-count check in CI build #8: Commit 69ce5a6 pushed by SuvirRathore
15m 12s main
main
15m 12s
Second-round review corrections build #7: Commit 6517eff pushed by SuvirRathore
3m 47s main
main
3m 47s
Third-review corrections; family corollary; autoImplicit off build #6: Commit 0acf855 pushed by SuvirRathore
3m 44s main
main
3m 44s
Use Mathlib's integral-closure action; correct three claims of absence build #5: Commit d6bded7 pushed by SuvirRathore
3m 44s main
main
3m 44s
Remove redundant workflow; build.yml supersedes it build #4: Commit 86b81bb pushed by SuvirRathore
3m 58s main
main
3m 58s
Editorial pass on README and AUDIT Lean Action CI #18: Commit 441e743 pushed by SuvirRathore
4h 3m 36s main
main
4h 3m 36s
Editorial pass on README and AUDIT build #3: Commit 441e743 pushed by SuvirRathore
3m 50s main
main
3m 50s
Remove capability log; superseded by AUDIT.md Lean Action CI #17: Commit 32ef39f pushed by SuvirRathore
3h 59m 49s main
main
3h 59m 49s
Remove capability log; superseded by AUDIT.md build #2: Commit 32ef39f pushed by SuvirRathore
6m 35s main
main
6m 35s
Prepare for publication: CI, axiom attestation, AUDIT.md, licence, re… build #1: Commit 851dbfa pushed by SuvirRathore
4m 8s main
main
4m 8s
Prepare for publication: CI, axiom attestation, AUDIT.md, licence, re… Lean Action CI #16: Commit 851dbfa pushed by SuvirRathore
4h 5m 28s main
main
4h 5m 28s
Third review: fix integrality mechanism, scope the SpanFull equivalen… Lean Action CI #15: Commit e4df8e5 pushed by SuvirRathore
3h 6m 13s main
main
3h 6m 13s
README and capability log: corrected statement, span trick, second re… Lean Action CI #14: Commit 8be328c pushed by SuvirRathore
3h 22m 2s main
main
3h 22m 2s
Corrected companion statement: companions over finite extensions of E… Lean Action CI #13: Commit 34ffaff pushed by SuvirRathore
4h 3m 44s main
main
4h 3m 44s
README and capability log: post-review state and limitations Lean Action CI #12: Commit 3e19009 pushed by SuvirRathore
4h 7m 33s main
main
4h 7m 33s
Remove superseded definitions; single corrected development Lean Action CI #11: Commit ca9e2c9 pushed by SuvirRathore
3h 24m 21s main
main
3h 24m 21s
Concrete NotDividing, IsUnramifiedAt, IsCompatibleFamily' Lean Action CI #10: Commit 26638f2 pushed by SuvirRathore
2h 55m 1s main
main
2h 55m 1s
Session 1: capability log, README status Lean Action CI #9: Commit f52019a pushed by SuvirRathore
4h 0m 49s main
main
4h 0m 49s
isFrobAt_conj proved from IsArithFrobAt.conj Lean Action CI #8: Commit a1b73fd pushed by SuvirRathore
4h 10m 58s main
main
4h 10m 58s