Repository navigation
Add options for proof directive title formatting #331
pre-commit-ci[bot]ci.yml
on: pull_request
Matrix: tests
Publish to PyPi
0s
Annotations
5 errors
|
tests (3.11, >=5,<6)
Process completed with exit code 1.
|
|
tests (3.9, >=5,<6)
The strategy configuration was canceled because "tests._3_11___5__6" failed
|
|
tests (3.9, >=5,<6)
The operation was canceled.
|
|
tests (3.10, >=5,<6)
The strategy configuration was canceled because "tests._3_11___5__6" failed
|
|
tests (3.10, >=5,<6)
The operation was canceled.
|