Skip to content
OCaml CI

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

Sign in to view logs

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

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

Triggered via pull request July 29, 2026 05:44
@hyperpolymathhyperpolymath
opened #98
feat/epistemic-types
Status Success
Total duration 5m 57s
Artifacts –

ocaml-ci.yml

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