Repository navigation

Idris2 Verification Build

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … #60

Sign in to view logs

Triggered via push June 24, 2026 17:17

main

Status Success

Total duration 18h 29m 26s

Artifacts –

idris-verification.yml

on: push

verify-idris2 (Idris2 build oracle)