[CI] [Alpine] Don't use PR version of Alpine Coq #698

Sign in to view logs

Triggered via pull request January 30, 2024 15:26

synchronize #145

JasonGross:no-dev-alpine

Status Success

Total duration 8m 38s

Artifacts –

coq.yml

on: pull_request

Matrix: build