Merge pull request #3318 from coq/coq-rewriter-dev-bump-version #1685

Triggered via push January 31, 2025 17:53

palmskog

master

Status Success

Total duration 1m 54s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.72 MB