Skip to content

fix _CoqProject

fix _CoqProject #1533

Triggered via pull request February 17, 2025 14:07
Status Success
Total duration 8m 11s
Artifacts 1

doc.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact
227 KB