Skip to content

Create dependabot-automerge.yml #150

Create dependabot-automerge.yml

Create dependabot-automerge.yml #150

Triggered via pull request April 13, 2024 15:08
Status Cancelled
Total duration 19m 2s
Artifacts 2

coq-archlinux.yml

on: pull_request
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-archlinux Expired
5.41 KB
ExtractionOCaml-archlinux Expired
3.55 KB