Ruff

update coastal to basetool2 #1474

Sign in to view logs

Triggered via push January 15, 2026 19:11

ricffb

migrate-sv-comp-tools-to-basetool2

Status Failure

Total duration 24s

Artifacts –

ruff.yml

on: push

Annotations

2 errors

The process '/opt/hostedtoolcache/ruff/0.14.11/x86_64/ruff' failed with exit code 1

Ruff (F401): benchexec/tools/coastal.py#L10

benchexec/tools/coastal.py:10:26: F401 `benchexec.util` imported but unused