Skip to content
SPARK Theatre Gate

proofs: first Idris2 corpus (order theory) + proof-corpus CI gate #11

Sign in to view logs

proofs: first Idris2 corpus (order theory) + proof-corpus CI gate

proofs: first Idris2 corpus (order theory) + proof-corpus CI gate #11

Triggered via pull request June 4, 2026 15:17
@hyperpolymathhyperpolymath
opened #30
claude/peaceful-meitner-EFJ7I
Status Success
Total duration 15s
Artifacts –

spark-theatre-gate.yml

on: pull_request
spark-theatre-gate  /  SPARK Theatre Gate
4s
spark-theatre-gate / SPARK Theatre Gate
Fit to window
Zoom out
Zoom in