JavaScript Pipeline

Create a tool-info module for BtorMC #116

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Perform linting	40s
Building the application	1m 7s
Running tests	50s
	2m 37s