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