Update SeaHorn's tool-info module #126
javascript.yml
on: pull_request
Perform linting
42s
Running tests
52s
Building the application
1m 2s