Add options for proof directive title formatting #343
doudenci.yml
on: pull_request
Matrix: tests
Publish to PyPi
0s
Annotations
1 error
|
pre-commit
Process completed with exit code 1.
|