JavaScript Pipeline

Merge pull request #1125 from sosy-lab/witnessmap-refactoring #599

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Perform linting	44s
Running tests	1m 1s
Building the application	1m 10s
	2m 55s