8000 Coq 8.20 · whonore/Coqtail@ae20785 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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
0