Ruff

Merge pull request #1258 from sosy-lab/typescript-migration/migration… #1672

Sign in to view logs

Triggered via push February 27, 2026 14:33

typescript-migration/typescript-full-migration

Status Success

Total duration 22s

Artifacts –

ruff.yml

on: push