Add coq-coqeal.2.1.0 #1725

Triggered via pull request February 18, 2025 15:56

proux01

opened #3345

proux01:coqeal210

Status Success

Total duration 1m 29s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.73 MB