Skip to content
Scala CI

Improves encoding of assumes and asserts in certain cases. #80

Sign in to view logs

Improves encoding of assumes and asserts in certain cases.

Improves encoding of assumes and asserts in certain cases. #80

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
13m 34s
13m 34s