Skip to content
yices2

yices2 #842

Sign in to view logs

yices2

yices2 #842

Triggered via schedule November 22, 2024 01:53
@eineeine
⁠ fee39c5
main
Status Failure
Total duration 27s
Artifacts –

yices2.yml

on: schedule
yices2  /  matrix
5s
yices2 / matrix
Matrix: yices2 / jobs
Fit to window
Zoom out
Zoom in

Annotations

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