Skip to content
CI

Bml: resolve all remaining sorries in Partitions #59

Sign in to view logs

Bml: resolve all remaining sorries in Partitions

Bml: resolve all remaining sorries in Partitions #59

Triggered via push October 31, 2023 16:19
@m4lvinm4lvin
pushed 8507273
bml-mathport
Status Success
Total duration 3m 31s
Artifacts –

build.yml

on: push
Build
2m 22s
Build
Build Bml
3m 19s
Build Bml
Stats
14s
Stats
Fit to window
Zoom out
Zoom in