JavaScript Pipeline

SV-COMP 2025: Update the processing of output of Hornix #569

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Perform linting	40s
Building the application	1m 5s
Running tests	1m 1s
	2m 46s