Update SeaHorn's tool-info module #125
javascript.yml
on: pull_request
Perform linting
43s
Running tests
53s
Building the application
1m 7s