Skip to content
OCaml CI

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #18

Sign in to view logs

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #18

Triggered via push July 29, 2026 05:49
@hyperpolymathhyperpolymath
pushed cf56397
main
Status Success
Total duration 17m 51s
Artifacts –

ocaml-ci.yml

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