Skip to content

Z3 Tracing

Z3 Tracing #128

Triggered via push October 10, 2023 14:03
Status Failure
Total duration 32m 59s
Artifacts

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
deploy
Process completed with exit code 31.
deploy
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100