Use ZArith-based representations for numbers and bitvectors #706
Triggered via pull request
September 29, 2023 12:45
bclement-ocp
Status
Failure
Total duration
25m 1s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build.yml
on: pull_request
Make all
7m 55s
Make package release
4m 51s
Matrix: build
Annotations
4 errors
|
Make package release
Process completed with exit code 2.
|
|
build (ubuntu-latest, 4.08.1)
Process completed with exit code 31.
|
|
Make all
Process completed with exit code 2.
|
|
build (macos-latest, 4.08.1)
Process completed with exit code 31.
|