CI (Coq, Alpine)

Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) #47

Sign in to view logs

Triggered via pull request February 6, 2024 11:52

SkySkimmer

opened #149

SkySkimmer:split-tac2ffi

Status Success

Total duration 6m 41s

Artifacts –

coq-alpine.yml

on: pull_request

Matrix: build

alpine-check-all