Skip to content
Python 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 30s
Artifacts –

python-tests.yml

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