JavaScript Pipeline

Merge pull request #1261 from sosy-lab/typescript-migration/typescrip… #1361

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Running tests	1m 7s
Building the application	1m 17s
Perform linting	55s
	3m 19s