Skip to content
boolector

boolector #1015

Sign in to view logs

boolector

boolector #1015

Triggered via schedule November 15, 2024 01:11
@umarcorumarcor
⁠ fee39c5
main
Status Failure
Total duration 35s
Artifacts –

boolector.yml

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

Annotations

2 errors
boolector / amd64/debian/bullseye | pkg/boolector
Process completed with exit code 1.
boolector / amd64/debian/bookworm | pkg/boolector
Process completed with exit code 1.