Skip to content
OCaml CI

feat(jeg): judgement evidence graph — reify derivations, and CHECK them #21

Sign in to view logs

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

feat(jeg): judgement evidence graph — reify derivations, and CHECK them #21

Triggered via pull request July 29, 2026 06:41
@hyperpolymathhyperpolymath
opened #100
feat/judgement-evidence-graph
Status Success
Total duration 25s
Artifacts –

ocaml-ci.yml

on: pull_request
Build + test the OCaml compiler
21s
Build + test the OCaml compiler
Fit to window
Zoom out
Zoom in