Skip to content

Release coq-itree-extra 5.1.2 #316

Release coq-itree-extra 5.1.2

Release coq-itree-extra 5.1.2 #316

Triggered via pull request October 27, 2023 08:27
Status Success
Total duration 6m 15s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request