Skip to content
boolector

boolector #939

Sign in to view logs

boolector

boolector #939

Triggered via schedule September 8, 2023 00:49
@umarcorumarcor
⁠ dd48211
main
Status Success
Total duration 1h 4m 46s
Artifacts –

boolector.yml

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