Release v0.2.2 of coq-parseque #1782

Triggered via pull request March 10, 2025 14:14

womeier

opened #3359

womeier:master

Status Success

Total duration 3m 49s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	1.74 MB