Skip to content
Build

feat(BV, CP): Add propagators for bvshl and bvlshr #50

Sign in to view logs

feat(BV, CP): Add propagators for bvshl and bvlshr

feat(BV, CP): Add propagators for bvshl and bvlshr #50

Triggered via push May 13, 2024 09:01
@bclement-ocpbclement-ocp
pushed d8c0791
bvarith-shift
Status Failure
Total duration 31m 57s
Artifacts –

build.yml

on: push
Make all
7m 33s
Make all
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Make all
Process completed with exit code 1.
build (ubuntu-latest, 4.08.1)
Process completed with exit code 31.
build (ubuntu-latest, 4.14.1)
Process completed with exit code 2.
build (ubuntu-latest, 5.0.0)
Process completed with exit code 2.
build (macos-latest, 4.14.1)
Process completed with exit code 2.
build (macos-latest, 5.0.0)
Process completed with exit code 2.