add Alpine CI #580

Triggered via pull request July 27, 2023 00:08

synchronize #1625

test-alpine

Status Cancelled

Total duration 1m 28s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-coq.yml

on: pull_request

Matrix: docker-build

2 errors

The run was canceled by @andres-erbsen.

The operation was canceled.

Produced during runtime

Name	Size
ExtractionHaskell-master Expired	4.69 KB
ExtractionOCaml-master Expired	3.12 KB