Release coq-simple-io.1.11.0, coq-itree.5.2.1, coq-quickchick.2.1.0 #1776

Triggered via pull request February 28, 2025 10:26

Lysxia

opened #3358

Lysxia:master

Status Success

Total duration 1m 28s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.74 MB