Skip to content

Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip on Python-only changes #279

Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip on Python-only changes

Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip on Python-only changes #279

Triggered via pull request August 9, 2026 20:02
Status Success
Total duration 2m 35s
Artifacts

python.yml

on: pull_request
Matrix: test-python
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 11 warnings
3.11
module level import not at top of file
3.11
module level import not at top of file
3.11
module level import not at top of file
3.11
'torch.nn' imported but unused
3.11
module level import not at top of file
3.11
line too long (165 > 127 characters)
3.11
at least two spaces before inline comment
3.11
at least two spaces before inline comment
3.11
at least two spaces before inline comment
3.11
at least two spaces before inline comment
3.11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: liskin/gh-problem-matcher-wrap@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace
3.11
trailing whitespace