Merge pull request #1012 from sosy-lab/dependabot/github_actions/acti… #17
javascript.yml
on: push
Perform linting
39s
Running tests
50s
Building the application
57s