Also run Alpine CI on alpine-testing #691

Sign in to view logs

Triggered via push December 25, 2023 02:07

JasonGross

master

Status Success

Total duration 16m 41s

Artifacts –

coq.yml

on: push

Matrix: build