JavaScript Pipeline

Merge pull request #1051 from Po-Chun-Chien/update-seahorn-tool-info #156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Building the application	1m 7s
Running tests	51s
Perform linting	44s
	2m 42s