Skip to content

Coq small fixes

Coq small fixes #326

Triggered via pull request November 26, 2024 15:44
Status Success
Total duration 4m 21s
Artifacts

licenses.yml

on: pull_request
Fit to window
Zoom out
Zoom in