Skip to content
CI (Coq)

add Alpine CI #4147

Sign in to view logs

add Alpine CI

add Alpine CI #4147

Triggered via pull request July 27, 2023 00:40
@andres-erbsenandres-erbsen
synchronize #1625
test-alpine
Status Cancelled
Total duration 53m 2s
Artifacts 2

coq.yml

on: pull_request
Matrix: build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Ubuntu LTS
The run was canceled by @andres-erbsen.
Ubuntu LTS
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-Ubuntu LTS Expired
4.69 KB
ExtractionOCaml-Ubuntu LTS Expired
3.12 KB