boolector

boolector #1004

Sign in to view logs

Triggered via schedule September 20, 2024 01:05

umarcor

main

Status Failure

Total duration 18m 20s

Artifacts –

boolector.yml

on: schedule

boolector / matrix

Matrix: boolector / jobs