Skip to content

Merge pull request #226 from coq/update-vscode-ext-description #23

Merge pull request #226 from coq/update-vscode-ext-description

Merge pull request #226 from coq/update-vscode-ext-description #23

Triggered via push October 4, 2023 10:41
Status Success
Total duration 5m 28s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in