collect diffs instead of constr from DBM, ZoneState.isBottom changed · ftsrg/theta@4336da5

Triggered via push May 19, 2024 20:38

kopero2000

xta-eager

Status Failure

Total duration 6h 0m 16s

Artifacts –

build-win.yml

on: push

Matrix: build-win

6 errors

The job running on runner GitHub Actions 42 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 55 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 24 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.