Skip to content
Build

Use ZArith-based representations for numbers and bitvectors #707

Sign in to view logs

Use ZArith-based representations for numbers and bitvectors

Use ZArith-based representations for numbers and bitvectors #707

Triggered via pull request October 2, 2023 09:32
@bclement-ocpbclement-ocp
synchronize #850
bclement-ocp:Z
Status Failure
Total duration 25m 27s
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 59s
Make all
Make package release
8m 17s
Make package release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (ubuntu-latest, 4.08.1)
Process completed with exit code 31.
Make all
Process completed with exit code 2.
Make package release
Process completed with exit code 2.
build (macos-latest, 4.08.1)
Process completed with exit code 31.