Skip to content

dialyzer: fix issues related to opaques #18396

dialyzer: fix issues related to opaques

dialyzer: fix issues related to opaques #18396

Triggered via pull request December 4, 2024 12:34
Status Success
Total duration 33m 3s
Artifacts 11

main.yaml

on: pull_request
Build Erlang/OTP (64-bit)
8m 15s
Build Erlang/OTP (64-bit)
Event File
9s
Event File
Matrix: Test Erlang/OTP
Build and check documentation
5m 10s
Build and check documentation
Build Erlang/OTP (macOS)
3m 49s
Build Erlang/OTP (macOS)
Build Erlang/OTP (iOS)
5m 29s
Build Erlang/OTP (iOS)
Build Erlang/OTP (Windows)
12m 18s
Build Erlang/OTP (Windows)
Build Erlang/OTP (Types and Flavors)
8m 1s
Build Erlang/OTP (Types and Flavors)
Run static analysis
6m 45s
Run static analysis
Matrix: Build Erlang/OTP
Test Erlang/OTP (system)
9m 13s
Test Erlang/OTP (system)
Release Erlang/OTP
0s
Release Erlang/OTP
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 2 notices
Event File
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build Erlang/OTP (64-bit)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and check documentation
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build Erlang/OTP (clang)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run static analysis
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build Erlang/OTP (Types and Flavors)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build Erlang/OTP (32-bit)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test Erlang/OTP (dialyzer)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build Erlang/OTP (cross-compile)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test Erlang/OTP (system)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
2 skipped tests found
There are 2 skipped tests, see "Raw output" for the full list of skipped tests.
477 tests found
There are 477 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime
Name Size
Event File
3.81 KB
Unit Test Results
17.6 KB
dialyzer_test_results
12.5 MB
ios_framework_aarch64-apple-ios
1.88 MB
otp_doc_html
28.5 MB
otp_doc_man
44.1 KB
otp_git_archive
59.1 MB
otp_prebuilt
211 MB
otp_prebuilt_macos_x86-64
59.3 MB
otp_win32_installer
83.4 MB
test_results
90.7 MB