Skip to content

Fix coq-vst.2.12 to work with coq-native installed #70

Fix coq-vst.2.12 to work with coq-native installed

Fix coq-vst.2.12 to work with coq-native installed #70

Triggered via pull request September 8, 2023 02:16
Status Success
Total duration 3m 57s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in