CI (Coq, Alpine)

[do not merge] Time garagedoor build #454

Sign in to view logs

Summary
Jobs
- alpine-edge
Run details
- Usage
- Workflow file

Triggered via pull request March 19, 2024 01:25

opened #1832

time-build-garagedoor

Status Failure

Total duration 2m 0s

Artifacts –

coq-alpine.yml

on: pull_request

Matrix: build

Annotations

1 error

alpine-edge

Process completed with exit code 2.