Update install.md #131
ercoppaAnnotations
6 warnings
|
docs
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
docs:
docs/index.rst#L20
Title underline too short.
|
|
docs:
docs/index.rst#L20
Title underline too short.
|
|
docs:
docs/index.rst#L5
Duplicate explicit target name: "[pdf]".
|
|
docs:
docs/requirements.txt#L1
document isn't included in any toctree
|
|
docs:
docs/usage.md#L1
Pygments lexer name 'smt2' is not known
|