Merge pull request #1119 from sosy-lab/witnessmap-version-fix #578
dbeyerjavascript.yml
on: push
Perform linting
48s
Running tests
53s
Building the application
1m 15s