Add options for proof directive title formatting #333
doudenci.yml
on: pull_request
Matrix: tests
Publish to PyPi
0s
Annotations
6 errors
|
pre-commit
Process completed with exit code 1.
|
|
tests (3.11, >=5,<6)
Process completed with exit code 1.
|
|
tests (3.10, >=5,<6)
The strategy configuration was canceled because "tests._3_11___5__6" failed
|
|
tests (3.10, >=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.
|