Skip to content
OCaml CI

feat(jeg): judgement evidence graph — reify derivations, and CHECK th… #22

Sign in to view logs

feat(jeg): judgement evidence graph — reify derivations, and CHECK th…

feat(jeg): judgement evidence graph — reify derivations, and CHECK th… #22

Triggered via push July 29, 2026 06:42
@hyperpolymathhyperpolymath
pushed 0366a8e
main
Status Success
Total duration 39s
Artifacts –

ocaml-ci.yml

on: push
Build + test the OCaml compiler
35s
Build + test the OCaml compiler
Fit to window
Zoom out
Zoom in