Skip to content

Varun10p/yices flags #1265

Varun10p/yices flags

Varun10p/yices flags #1265

Triggered via pull request December 7, 2023 01:44
Status Failure
Total duration 15s
Artifacts
build-and-push-image
3s
build-and-push-image
cleaner
3s
cleaner
check-format
0s
check-format
run-tests
0s
run-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-push-image
The ssh-private-key argument is empty. Maybe the secret has not been configured, or you are using a wrong secret name in your workflow file.