Lint

Merge remote-tracking branch 'origin/main' into future-paper-2 #440

Sign in to view logs

Triggered via push November 14, 2024 01:52

PhilippvK

future-paper-2

Status Success

Total duration 17s

Artifacts –

style.yml

on: push

Check for License headers

Annotations

6 errors and 1 warning

seal5/model.py#L93

Line too long (131 > 120 characters) (E501)

seal5/model.py#L105

Line too long (132 > 120 characters) (E501)

seal5/transform/check_pattern_support/check.py#L21

'seal5.model' imported but unused (F401)

seal5/model.py#L93

Line too long (131 > 120 characters) (E501)

seal5/model.py#L105

Line too long (132 > 120 characters) (E501)

seal5/transform/check_pattern_support/check.py#L21

'seal5.model' imported but unused (F401)

Run linters

The following actions use a deprecated Node.js version and will be forced to run on node20: wearerequired/lint-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/