CI (Coq, Alpine)

add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) #92

Sign in to view logs

Triggered via pull request November 3, 2024 16:22

opened #164

andres-erbsen:less-ZArith_base

Status Success

Total duration 6m 23s

Artifacts –

coq-alpine.yml

on: pull_request

Matrix: build

alpine-check-all