Skip to content
JavaScript Pipeline

Merge pull request #1139 from sosy-lab/improve-errors-for-podman #729

Sign in to view logs

Merge pull request #1139 from sosy-lab/improve-errors-for-podman

Merge pull request #1139 from sosy-lab/improve-errors-for-podman #729

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Building the application
1m 20s
Perform linting
45s
Running tests
58s
3m 3s