Skip to content

add coq-itauto.8.19.0 to extra-dev #516

add coq-itauto.8.19.0 to extra-dev

add coq-itauto.8.19.0 to extra-dev #516

Triggered via pull request January 3, 2024 09:19
Status Success
Total duration 3m 6s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in