Skip to content

Merge pull request #9144 from lucioleKi/isabell/dialyzer/nominal-types #247

Merge pull request #9144 from lucioleKi/isabell/dialyzer/nominal-types

Merge pull request #9144 from lucioleKi/isabell/dialyzer/nominal-types #247

Triggered via push December 9, 2024 08:53
Status Failure
Total duration 3m 40s
Artifacts 1
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
run-scan
Process completed with exit code 127.
run-scan
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
run-scan
Unexpected input(s) 'predicate-quantifier', valid inputs are ['token', 'working-directory', 'ref', 'base', 'filters', 'list-files', 'initial-fetch-depth']
upload-scan
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
SARIF file
2.07 KB