Skip to content
Agda Meta-Checker

fix(ci): re-pin panic-attack scan-and-report — optional-PAT skip (Security Scan green without VERISIMDB_PAT) #81

Sign in to view logs

fix(ci): re-pin panic-attack scan-and-report — optional-PAT skip (Security Scan green without VERISIMDB_PAT)

fix(ci): re-pin panic-attack scan-and-report — optional-PAT skip (Security Scan green without VERISIMDB_PAT) #81

Triggered via pull request July 7, 2026 05:06
@hyperpolymathhyperpolymath
opened #309
fix/repin-panic-attack-optional-pat
Status Success
Total duration 39s
Artifacts –

agda-meta-checker.yml

on: pull_request
Type-check Agda proofs
17s
Type-check Agda proofs
Fit to window
Zoom out
Zoom in