CI

[changes] Release 0.20.0 for Coq 8.20 #501

Sign in to view logs

Triggered via push September 8, 2024 15:34

ejgallego

v8.20

Status Success

Total duration 12m 0s

Artifacts –

ci.yml

on: push

Matrix: build