Create a tool-info module for BtorMC #95
javascript.yml
on: pull_request
Perform linting
45s
Running tests
58s
Building the application
1m 3s