Skip to content
boolector

boolector #1024

Sign in to view logs

boolector

boolector #1024

Triggered via schedule January 10, 2025 01:09
@umarcorumarcor
⁠ fee39c5
main
Status Failure
Total duration 34s
Artifacts –

boolector.yml

on: schedule
boolector  /  matrix
7s
boolector / matrix
Matrix: boolector / jobs
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
boolector / amd64/debian/bullseye | pkg/boolector
Process completed with exit code 1.
boolector / amd64/debian/bookworm | pkg/boolector
Process completed with exit code 1.
boolector / matrix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636