Skip to content
This repository was archived by the owner on Aug 27, 2026. It is now read-only.

Actions: AdityaVG13/tokenzero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 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
Avoid false positive on admission constructor in proof gate Wave2 Family5 Lean 4.32 Check #15: Commit 6b88601 pushed by AdityaVG13
18s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
18s
Compile checked core and auxiliary proofs with explicit olean output Wave2 Family5 Lean 4.32 Check #14: Commit ccb924d pushed by AdityaVG13
19s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
19s
Close impossible tail membership in explicit Bool enum proof Wave2 Family5 Lean 4.32 Check #13: Commit b5f407b pushed by AdityaVG13
18s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
18s
Compile publication proof in empty standalone directory Wave2 Family5 Lean 4.32 Check #12: Commit e839c65 pushed by AdityaVG13
17s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
17s
Compile publication-form Lean development Wave2 Family5 Lean 4.32 Check #11: Commit e346aea pushed by AdityaVG13
31s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
31s
Add publication-form Lean core development Wave2 Family5 Lean 4.32 Check #10: Commit 2e4fcc6 pushed by AdityaVG13
26s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
26s
Compile generic frozen-state theorem Wave2 Family5 Lean 4.32 Check #9: Commit 917479d pushed by AdityaVG13
20s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
20s
Add generic protected observation theorem for frozen stateful transit… Wave2 Family5 Lean 4.32 Check #8: Commit a4240cc pushed by AdityaVG13
23s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
23s
Set repository Lean module search path Wave2 Family5 Lean 4.32 Check #7: Commit 22716ab pushed by AdityaVG13
28s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
28s
Compile explicit Bool enumeration proof Wave2 Family5 Lean 4.32 Check #6: Commit 6f039bb pushed by AdityaVG13
31s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
31s
Add explicit no-simp Bool enumeration proof Wave2 Family5 Lean 4.32 Check #5: Commit f1e5a49 pushed by AdityaVG13
29s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
29s
Add Wave 2 equivalence, enumeration, stateful, and decoder proofs Wave2 Family5 Lean 4.32 Check #4: Commit 20a7239 pushed by AdityaVG13
20s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
20s
Fix concrete realized-workload proof and unused simp argument RACC-R Lean Wave 2 verification #3: Commit e123f61 pushed by AdityaVG13
20s verify/raccr-wave2-20260807
verify/raccr-wave2-20260807
20s
Fix structural membership induction proofs Wave2 Family5 Lean 4.32 Check #3: Commit 233d6fa pushed by AdityaVG13
19s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
19s
Capture exact Lean compiler transcript for Wave 2 RACC-R Lean Wave 2 verification #2: Commit 51d9c57 pushed by AdityaVG13
27s verify/raccr-wave2-20260807
verify/raccr-wave2-20260807
27s
Install exact Lean 4.32 toolchain with elan Wave2 Family5 Lean 4.32 Check #2: Commit 71d7aea pushed by AdityaVG13
25s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
25s
Add temporary exact Lean 4.32.0 verification workflow RACC-R Lean Wave 2 verification #1: Commit 7a8ec97 pushed by AdityaVG13
19s verify/raccr-wave2-20260807
verify/raccr-wave2-20260807
19s
Add disposable Lean 4.32 proof verification workflow Wave2 Family5 Lean 4.32 Check #1: Commit b2cee1b pushed by AdityaVG13
22s proof/wave2-family5-lean432-check
proof/wave2-family5-lean432-check
22s
Coordinated engine release Coordinated engine release #8: Manually run by AdityaVG13
8m 12s main
main
8m 12s
Coordinated engine release Coordinated engine release #7: Manually run by AdityaVG13
10m 37s main
main
10m 37s
Coordinated engine release Coordinated engine release #6: Manually run by AdityaVG13
9m 42s main
main
9m 42s
Coordinated engine release Coordinated engine release #5: Manually run by AdityaVG13
9m 16s main
main
9m 16s
public-contract public-contract #17: Manually run by AdityaVG13
1m 3s perf/loc-and-call-latency
perf/loc-and-call-latency
1m 3s
Coordinated engine release Coordinated engine release #4: Manually run by AdityaVG13
1m 41s main
main
1m 41s
Coordinated engine release Coordinated engine release #3: Manually run by AdityaVG13
11m 3s main
main
11m 3s