Skip to content
Check github actions

dialyzer: Introduce nominal types #25

Sign in to view logs

dialyzer: Introduce nominal types

dialyzer: Introduce nominal types #25

Triggered via pull request November 18, 2024 13:42
@lucioleKilucioleKi
synchronize #9079
lucioleKi:isabell/dialyzer/nominal-types
Status Success
Total duration 22s
Artifacts –

github-actions-checker.yaml

on: pull_request
ratchet
12s
ratchet
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 4 notices
wings failed: lib/dialyzer/test/opaque_SUITE.erl#L247
artifacts/Unit Test Results/dialyzer_junit.xml [took 1s]
523 skipped tests found
There are 523 skipped tests, see "Raw output" for the full list of skipped tests.
7208 tests found (test 1 to 3417)
There are 7208 tests, see "Raw output" for the list of tests 1 to 3417.
7208 tests found (test 3418 to 6855)
There are 7208 tests, see "Raw output" for the list of tests 3418 to 6855.
7208 tests found (test 6856 to 7208)
There are 7208 tests, see "Raw output" for the list of tests 6856 to 7208.