8000 Coq 8.20 (#373) · whonore/Coqtail@299d0ac · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Python Tests

Coq 8.20 (#373) #79

Sign in to view logs

Coq 8.20 (#373)

Coq 8.20 (#373) #79

Triggered via push September 17, 2024 17:13
@whonorewhonore
pushed 299d0ac
main
Status Success
Total duration 26s
Artifacts –

python-tests.yml

on: push
Matrix: Python unit tests
Fit to window
Zoom out
Zoom in
0