Repository navigation

Idris2 Verification Build

ci: harden workflows — timeout caps, pinned+verified elan, drop empty CodeQL language #65

Sign in to view logs

Triggered via pull request July 1, 2026 12:33

opened #153

claude/valence-shell-151-root-a2a1kv

Status Success

Total duration 22s

Artifacts –

idris-verification.yml

on: pull_request

verify-idris2 (Idris2 build oracle)