Skip to content
Run lint

Fieldsplit: replace empty Forms with ZeroBaseForm #6925

Sign in to view logs

Fieldsplit: replace empty Forms with ZeroBaseForm

Fieldsplit: replace empty Forms with ZeroBaseForm #6925

Triggered via pull request January 9, 2025 14:41
@pbrubeckpbrubeck
synchronize #3947
pbrubeck/simplify-indexed
Status Failure
Total duration 24s
Artifacts –

lint.yml

on: pull_request
Run linter
16s
Run linter
Lint Github actions YAML files
8s
Lint Github actions YAML files
Lint dockerfiles
14s
Lint dockerfiles
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
F401: firedrake/formmanipulation.py#L7
firedrake/formmanipulation.py:7:1: F401 'ufl.form.BaseForm' imported but unused
Run linter
Process completed with exit code 2.
Lint Github actions YAML files
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint dockerfiles
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run linter
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636