Ruff

Migrate some tools to BaseTool2 #1473

Sign in to view logs

Triggered via pull request January 15, 2026 19:10

ricffb

synchronize #1248

migrate-sv-comp-tools-to-basetool2

Status Failure

Total duration 25s

Artifacts –

ruff.yml

on: pull_request

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