Skip to content
Vim Tests

Coq 8.20 #78

Sign in to view logs

Coq 8.20

Coq 8.20 #78

Triggered via pull request September 17, 2024 17:06
@whonorewhonore
synchronize #373
coq-8.20
Status Success
Total duration 49s
Artifacts –

vim-tests.yml

on: pull_request
Matrix: Vim unit tests
Fit to window
Zoom out
Zoom in