goto-symex: move level1 map to goto_statet #10428
Triggered via pull request
September 5, 2024 14:50
tautschnig
Status
Failure
Total duration
7h 10m 42s
Artifacts
–
pull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-gcc
32m 20s
check-ubuntu-20_04-make-clang
26m 49s
check-ubuntu-20_04-make-clang-smt-z3
16m 50s
check-ubuntu-20_04-cmake-gcc
6h 0m
check-ubuntu-22_04-make-clang
11m 6s
check-ubuntu-22_04-cmake-gcc
45m 48s
check-ubuntu-24_04-cmake-gcc-14
13m 49s
check-ubuntu-22_04-cmake-gcc-32bit
2h 45m
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
7m 17s
check-ubuntu-20_04-cmake-gcc-THOROUGH
12m 57s
check-macos-13-make-clang
6h 0m
check-macos-12-cmake-clang
6h 0m
check-vs-2019-cmake-build-and-test
1h 32m
check-vs-2022-make-build-and-test
1h 14m
windows-msi-package
21m 41s
check-string-table
2m 13s
check-docker-image
21m 13s
include-what-you-use
22m 38s
Annotations
17 errors and 3 warnings
|
check-ubuntu-22_04-make-clang
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
check-ubuntu-22_04-make-clang
The operation was canceled.
|
|
check-ubuntu-24_04-cmake-gcc-14
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
check-ubuntu-24_04-cmake-gcc-14
Process completed with exit code 143.
|
|
check-ubuntu-20_04-make-clang-smt-z3
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
|
|
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
|
|
check-ubuntu-22_04-cmake-gcc
The hosted runner: GitHub Actions 33 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
check-vs-2022-make-build-and-test
The hosted runner: GitHub Actions 56 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
check-vs-2019-cmake-build-and-test
The hosted runner: GitHub Actions 46 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
check-ubuntu-22_04-cmake-gcc-32bit
Process completed with exit code 8.
|
|
check-ubuntu-20_04-cmake-gcc
The job running on runner GitHub Actions 49 has exceeded the maximum execution time of 360 minutes.
|
|
check-ubuntu-20_04-cmake-gcc
The operation was canceled.
|
|
check-macos-12-cmake-clang
The job running on runner GitHub Actions 17 has exceeded the maximum execution time of 360 minutes.
|
|
check-macos-12-cmake-clang
The operation was canceled.
|
|
check-macos-13-make-clang
The job running on runner GitHub Actions 31 has exceeded the maximum execution time of 360 minutes.
|
|
check-macos-13-make-clang
The operation was canceled.
|
|
check-macos-12-cmake-clang
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
|
check-macos-12-cmake-clang
cmake 3.30.3 is already installed and up-to-date.
To reinstall 3.30.3, run:
brew reinstall cmake
|
|
check-macos-12-cmake-clang
maven 3.9.9 is already installed and up-to-date.
To reinstall 3.9.9, run:
brew reinstall maven
|