Skip to content

Adding .vscode to .gitignore #412

Adding .vscode to .gitignore

Adding .vscode to .gitignore #412

Triggered via push January 21, 2024 10:30
Status Success
Total duration 2m 20s
Artifacts

coq-action.yml

on: push
Fit to window
Zoom out
Zoom in