Skip to content

Actions: Tianshi-Xu/tainverify_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
946 workflow runs
946 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
chore: publish verified score-division cold-build artifacts Verify #946: Commit 996432e pushed by subfish-zhou
5m 58s integration/trainverify-forward-backward
integration/trainverify-forward-backward
5m 58s
docs: document verified public Python dependency recovery Verify #945: Commit 97547f3 pushed by subfish-zhou
5m 58s integration/trainverify-forward-backward
integration/trainverify-forward-backward
5m 58s
docs: consolidate accepted score division handoff and pause development Verify #944: Commit 7f6aa7a pushed by subfish-zhou
5m 58s integration/trainverify-forward-backward
integration/trainverify-forward-backward
5m 58s
docs: add verified TrainVerify research handoff report Verify #943: Commit 54cc9cf pushed by subfish-zhou
5m 21s integration/trainverify-forward-backward
integration/trainverify-forward-backward
5m 21s
feat(trainverify): add generic proof compiler vertical slice Verify #942: Commit 9cfbfc7 pushed by Tianshi-Xu
5m 6s main
main
5m 6s
feat(trainverify): add generic proof compiler vertical slice Verify #941: Commit 9cfbfc7 pushed by Tianshi-Xu
6m 22s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
6m 22s
refactor(yoco): harden regeneration baseline Verify #940: Commit 3293ad4 pushed by Tianshi-Xu
8m 11s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
8m 11s
docs(trainverify): draft systems and incident reports Verify #939: Commit 8af5687 pushed by Tianshi-Xu
5m 54s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
5m 54s
docs(trainverify): add systems paper outlines Verify #938: Commit f881171 pushed by Tianshi-Xu
6m 19s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
6m 19s
fix(yoco): bind content-addressed publication Verify #937: Commit 63cabbf pushed by Tianshi-Xu
6m 33s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
6m 33s
fix(yoco): seal legacy cut modules and exact ledger Verify #936: Commit 6f517f0 pushed by Tianshi-Xu
6m 34s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
6m 34s
fix: separate raw YOCO emission from proof overlays Verify #935: Commit 6aa3aa1 pushed by Tianshi-Xu
6m 40s fix/yoco-release-registry-layering
fix/yoco-release-registry-layering
6m 40s
[verified] enforce private YOCO emitter outputs Verify #934: Commit de30b89 pushed by Tianshi-Xu
2m 11s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 11s
[verified] support sealed cleanup direct execution Verify #933: Commit ae52121 pushed by Tianshi-Xu
1m 41s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 41s
[verified] freeze YOCO computation profile and Lean snapshot Verify #932: Commit 0449b5e pushed by Tianshi-Xu
2m 5s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 5s
[verified] fail closed on incomplete YOCO goals Verify #931: Commit 94516b1 pushed by Tianshi-Xu
2m 1s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 1s
[verified] seal native solver build inputs Verify #930: Commit 8cccc72 pushed by Tianshi-Xu
2m 5s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 5s
[verified] isolate verifier cache in refresh stage Verify #929: Commit ccd4414 pushed by Tianshi-Xu
1m 36s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 36s
[verified] normalize anonymous IR signatures Verify #928: Commit df5f2a7 pushed by Tianshi-Xu
1m 33s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 33s
[verified] validate flattened YOCO sequence axis Verify #927: Commit 05272d2 pushed by Tianshi-Xu
1m 35s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 35s
[verified] validate native ModuleCodeGen topology Verify #926: Commit 453e8d5 pushed by Tianshi-Xu
2m 39s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 39s
[verified] support namespace packages in sealed runtime Verify #925: Commit 4f0596a pushed by Tianshi-Xu
1m 51s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 51s
[verified] run YOCO solver from sealed memfds Verify #924: Commit 07dc468 pushed by Tianshi-Xu
3m 28s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
3m 28s
[verified] harden YOCO authority regeneration provenance Verify #923: Commit 0fb601a pushed by Tianshi-Xu
1m 41s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
1m 41s
fix: bind authority to measured communication profile Verify #922: Commit 002b4ae pushed by Tianshi-Xu
2m 19s regen/yoco-a04b-9a1be1d
regen/yoco-a04b-9a1be1d
2m 19s