Ruff

Merge pull request #1260 from sosy-lab/typescript-migration/migration… #1678

Sign in to view logs

Triggered via push March 2, 2026 10:08

typescript-migration/typescript-full-migration

Status Success

Total duration 19s

Artifacts –

ruff.yml

on: push