Skip to content
Python Tests

Adapt to https://github.com/coq/coq/pull/18880 (#348) #29

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18880 (#348)

Adapt to https://github.com/coq/coq/pull/18880 (#348) #29

Triggered via push April 13, 2024 16:15
@whonorewhonore
pushed e658dca
main
Status Success
Total duration 29s
Artifacts –

python-tests.yml

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