Skip to content

Create dependabot-automerge.yml #733

Create dependabot-automerge.yml

Create dependabot-automerge.yml #733

Triggered via pull request April 13, 2024 15:08
Status Cancelled
Total duration 18m 45s
Artifacts 3

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
debian-check-all
1s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
debian-sid
The run was canceled by @JasonGross.
debian-sid
The operation was canceled.
debian-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-sid Expired
5.41 KB
ExtractionJsOfOCaml-sid Expired
459 Bytes
ExtractionOCaml-sid Expired
3.55 KB