Agda Meta-Checker

fix(ci): relock dtolnay/rust-toolchain@stable — upstream ref moved #145

Sign in to view logs

Triggered via pull request August 7, 2026 11:44

opened #353

fix/relock-rust-toolchain-stable

Status Success

Total duration 31s

Artifacts –

agda-meta-checker.yml

on: pull_request

Type-check Agda proofs