boolector

boolector #1027

Sign in to view logs

Triggered via schedule January 31, 2025 01:06

umarcor

main

Status Failure

Total duration 31s

Artifacts –

boolector.yml

on: schedule

boolector / matrix

Matrix: boolector / jobs

Annotations

2 errors

boolector / amd64/debian/bookworm | pkg/boolector

Process completed with exit code 1.

boolector / amd64/debian/bullseye | pkg/boolector

Process completed with exit code 1.