Skip to content

Create dependabot-automerge.yml (#1861) #527

Create dependabot-automerge.yml (#1861)

Create dependabot-automerge.yml (#1861) #527

Triggered via push April 13, 2024 15:08
Status Cancelled
Total duration 29m 26s
Artifacts 2

coq-alpine.yml

on: push
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

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