Skip to content
Deploy

bug-minimizer: link to run-coq-bug-minimizer/actions (#310) #169

Sign in to view logs

bug-minimizer: link to run-coq-bug-minimizer/actions (#310)

bug-minimizer: link to run-coq-bug-minimizer/actions (#310) #169

Triggered via push September 13, 2024 13:35
@Zimmi48Zimmi48
pushed 0502b0b
master
Status Cancelled
Total duration 1m 49s
Artifacts –

deploy_heroku.yml

on: push
build
1m 39s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @Zimmi48.
build
The operation was canceled.