JavaScript Pipeline

Merge pull request #1119 from sosy-lab/witnessmap-version-fix #578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Building the application	1m 15s
Perform linting	48s
Running tests	53s
	2m 56s