Skip to content

add Alpine CI

add Alpine CI #3628

Triggered via pull request July 27, 2023 00:24
Status Cancelled
Total duration 2m 54s
Artifacts

coq-windows.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-test-alpine' exists
build-windows
The operation was canceled.