Skip to content
Windows build

collect diffs instead of constr from DBM, ZoneState.isBottom changed #811

Sign in to view logs

collect diffs instead of constr from DBM, ZoneState.isBottom changed

collect diffs instead of constr from DBM, ZoneState.isBottom changed #811

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-win (windows-latest)
6h 0m 2s
build-win (windows-2019)
6h 0m 4s
build-win (windows-2022)
6h 0m 2s
18h 0m 8s