Lint

lint and fix detect_imm_leafs for empty behav #436

Sign in to view logs

Triggered via push November 12, 2024 09:37

PhilippvK

main

Status Success

Total duration 23s

Artifacts –

style.yml

on: push

Check for License headers

Annotations

3 errors and 1 warning

seal5/model.py#L92

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

seal5/model.py#L104

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/