Skip to content
AffineScript Verify

docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link #263

Sign in to view logs

docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link

docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link #263

Triggered via pull request May 27, 2026 08:17
@hyperpolymathhyperpolymath
synchronize #222
docs/trusted-base-fill-in-203
Status Success
Total duration 13m 49s
Artifacts –

affinescript-verify.yml

on: pull_request
AffineScript Verify
7s
AffineScript Verify
Fit to window
Zoom out
Zoom in