Skip to content
Scala CI

slow progress in formalization (added unit totypes, implemented #513

Sign in to view logs

slow progress in formalization (added unit totypes, implemented

slow progress in formalization (added unit totypes, implemented #513

Triggered via push November 12, 2023 20:18
@rsshrssh
pushed eb59446
master
Status Success
Total duration 4m 19s
Artifacts –

scala.yml

on: push
build
4m 9s
build
Fit to window
Zoom out
Zoom in