Skip to content
Build with opam

Scala backend & lifter-optimiser bdd copyprop #93

Sign in to view logs

Scala backend & lifter-optimiser bdd copyprop

Scala backend & lifter-optimiser bdd copyprop #93

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
16m 39s
16m 39s