Skip to content
Lean Verification Build

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) #48

Sign in to view logs

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) #48

Triggered via pull request June 4, 2026 00:41
@hyperpolymathhyperpolymath
synchronize #132
proofs/a12-path-traversal-containment
Status Failure
Total duration 45s
Artifacts –

lean-verification.yml

on: pull_request
Build and Test Lean Extraction Pipeline
41s
Build and Test Lean Extraction Pipeline
Benchmark Lean Verification Overhead
0s
Benchmark Lean Verification Overhead
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test Lean Extraction Pipeline
Process completed with exit code 2.