Skip to content
CI Build

transfer for more utility lemmas to bir_exp_equiv #1457

Sign in to view logs

transfer for more utility lemmas to bir_exp_equiv

transfer for more utility lemmas to bir_exp_equiv #1457

Triggered via push February 2, 2025 20:42
@palmskogpalmskog
pushed b33c3a6
riscv-symbexec+fixes
Status Failure
Total duration 41m 34s
Artifacts –

build.yaml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build (ubuntu-22.04, PREPACKAGED, 4.13.4, trindemossen-1)
Process completed with exit code 2.
Build (ubuntu-22.04, v5.9.1, 1, 4.13.4, trindemossen-1)
The job was canceled because "ubuntu-22_04_PREPACKAGED_" failed.
Build (ubuntu-22.04, v5.9.1, 1, 4.13.4, trindemossen-1)
The operation was canceled.