Skip to content

feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) #1

feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)

feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) #1

Triggered via pull request July 28, 2026 23:41
Status Failure
Total duration 37s
Artifacts –

ocaml-ci.yml

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

Annotations

2 errors
Build + test the OCaml compiler
Process completed with exit code 1.
Build + test the OCaml compiler
A test reported FAIL — see the log above.