Ruff

Merge pull request #1256 from sosy-lab/typescript-migration/migration… #1655

Sign in to view logs

Triggered via push February 27, 2026 08:51

typescript-migration/typescript-full-migration

Status Success

Total duration 19s

Artifacts –

ruff.yml

on: push