TypeScript/JavaScript Blocker

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #146

Sign in to view logs

Triggered via push April 17, 2026 16:36

main

Status Success

Total duration 12s

Artifacts –

ts-blocker.yml

on: push