Create a tool-info module for BtorMC #115
javascript.yml
on: pull_request
Perform linting
39s
Running tests
49s
Building the application
1m 9s