Skip to content
Python Tests

Adapt to https://github.com/coq/coq/pull/19530 #75

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #75

Triggered via pull request September 17, 2024 15:58
@whonorewhonore
synchronize #372
proux01:stdlib_repo
Status Success
Total duration 29s
Artifacts –

python-tests.yml

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