Skip to content
JavaScript Pipeline

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

Sign in to view logs

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

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

Triggered via push March 2, 2026 10:08
@PhilippWendlerPhilippWendler
pushed 0551d5d
typescript-migration/typescript-full-migration
Status Success
Total duration 1m 20s
Artifacts –

javascript.yml

on: push
Perform linting
1m 5s
Perform linting
Running tests
1m 7s
Running tests
Building the application
1m 16s
Building the application
Fit to window
Zoom out
Zoom in