Skip to content
Agda Meta-Checker

fix(ci): unbreak workflow YAML and add a complete actions.lock #173

Sign in to view logs

fix(ci): unbreak workflow YAML and add a complete actions.lock

fix(ci): unbreak workflow YAML and add a complete actions.lock #173

Triggered via pull request August 27, 2026 05:06
@hyperpolymathhyperpolymath
opened #368
fix/workflow-dependency-locking
Status Success
Total duration 32m 0s
Artifacts –

agda-meta-checker.yml

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