Skip to content
Build and check Erlang/OTP

dialyzer: Introduce nominal types #18150

Sign in to view logs

dialyzer: Introduce nominal types

dialyzer: Introduce nominal types #18150

Triggered via pull request November 18, 2024 13:06
@lucioleKilucioleKi
synchronize #9079
lucioleKi:isabell/dialyzer/nominal-types
Status Cancelled
Total duration 25m 28s
Artifacts 13

main.yaml

on: pull_request
Build Erlang/OTP (64-bit)
10m 17s
Build Erlang/OTP (64-bit)
Event File
2s
Event File
Matrix: Test Erlang/OTP
Build and check documentation
2m 40s
Build and check documentation
Build Erlang/OTP (macOS)
2m 49s
Build Erlang/OTP (macOS)
Build Erlang/OTP (iOS)
4m 1s
Build Erlang/OTP (iOS)
Build Erlang/OTP (Windows)
13m 40s
Build Erlang/OTP (Windows)
Build Erlang/OTP (Types and Flavors)
7m 27s
Build Erlang/OTP (Types and Flavors)
Run static analysis
7m 56s
Run static analysis
Matrix: Build Erlang/OTP
Test Erlang/OTP (system)
0s
Test Erlang/OTP (system)
Release Erlang/OTP
0s
Release Erlang/OTP
Fit to window
Zoom out
Zoom in

Annotations

19 errors
Build and check documentation
Process completed with exit code 1.
Run static analysis
Process completed with exit code 127.
Test Erlang/OTP (kernel)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (kernel)
The operation was canceled.
Test Erlang/OTP (common_test)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (common_test)
The operation was canceled.
Test Erlang/OTP (mnesia)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (mnesia)
The operation was canceled.
Test Erlang/OTP (ssh)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (ssh)
The operation was canceled.
Test Erlang/OTP (ssl)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (ssl)
The operation was canceled.
Test Erlang/OTP (stdlib)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (stdlib)
The operation was canceled.
Test Erlang/OTP (dialyzer)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (dialyzer)
The operation was canceled.
Build Erlang/OTP (cross-compile)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (snmp)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (snmp)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
Event File Expired
4.86 KB
compiler_test_results Expired
31.6 MB
diameter_test_results Expired
7.96 MB
edoc_test_results Expired
894 KB
eunit_test_results Expired
166 KB
ios_framework_aarch64-apple-ios Expired
62.8 KB
otp_git_archive Expired
59.6 MB
otp_prebuilt Expired
325 MB
otp_prebuilt_macos_x86-64 Expired
59.2 MB
otp_win32_installer Expired
83.2 MB
parsetools_test_results Expired
460 KB
runtime_tools_test_results Expired
572 KB
syntax_tools_test_results Expired
241 KB