Skip to content
CI

Bml: resolve a few sorries in Partitions #57

Sign in to view logs

Bml: resolve a few sorries in Partitions

Bml: resolve a few sorries in Partitions #57

Triggered via push October 31, 2023 12:03
@m4lvinm4lvin
pushed 357df10
bml-mathport
Status Success
Total duration 3m 11s
Artifacts –

build.yml

on: push
Build
1m 52s
Build
Build Bml
3m 0s
Build Bml
Stats
10s
Stats
Fit to window
Zoom out
Zoom in