Skip to content
Lean Verification Build

fix: close foundational shell and proof-integrity gaps (#193) #77

Sign in to view logs

fix: close foundational shell and proof-integrity gaps (#193)

fix: close foundational shell and proof-integrity gaps (#193) #77

Triggered via push August 24, 2026 11:51
@hyperpolymathhyperpolymath
pushed b75712e
main
Status Success
Total duration 11m 46s
Artifacts 1

lean-verification.yml

on: push
Build and Test Lean Extraction Pipeline
2m 54s
Build and Test Lean Extraction Pipeline
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-extraction-artifacts
1.53 MB
sha256:3508ec59f3586a3b993bcf06c05120c98e9cdcc5b2b70f13c60bc0df77bc6acc