CI (Coq, Alpine)

Make etc/ci/describe-system-config.sh POSIX-compliant #30

Sign in to view logs

Triggered via pull request November 10, 2023 20:44

JasonGross

opened #1715

JasonGross:posix-system-config

Status Cancelled

Total duration 3h 34m 15s

Artifacts –

coq-alpine.yml

on: pull_request

Matrix: build

alpine-check-all

Annotations

3 errors

Canceling since a higher priority waiting request for 'CI (Coq, Alpine)-edge-posix-system-config' exists

The operation was canceled.

alpine-check-all

Process completed with exit code 1.