Repository navigation

Idris2 Verification Build

chore(deps): bump the actions group with 2 updates (#150) #62

Sign in to view logs

Triggered via push June 28, 2026 17:35

main

Status Success

Total duration 26s

Artifacts –

idris-verification.yml

on: push

verify-idris2 (Idris2 build oracle)