Python Tests

Adapt to https://github.com/coq/coq/pull/19530 (#372) #76

Sign in to view logs

Triggered via push September 17, 2024 16:07

whonore

main

Status Success

Total duration 25s

Artifacts –

python-tests.yml

on: push

Matrix: Python unit tests