Skip to content
Build and check Erlang/OTP

dialyzer: Introduce nominal types #18151

Sign in to view logs

dialyzer: Introduce nominal types

dialyzer: Introduce nominal types #18151

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

main.yaml

on: pull_request
Build Erlang/OTP (64-bit)
10m 18s
Build Erlang/OTP (64-bit)
Event File
9s
Event File
Matrix: Test Erlang/OTP
Build and check documentation
4s
Build and check documentation
Build Erlang/OTP (macOS)
5s
Build Erlang/OTP (macOS)
Build Erlang/OTP (iOS)
7s
Build Erlang/OTP (iOS)
Build Erlang/OTP (Windows)
0s
Build Erlang/OTP (Windows)
Build Erlang/OTP (Types and Flavors)
3s
Build Erlang/OTP (Types and Flavors)
Run static analysis
9s
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

47 errors
Build Erlang/OTP (Windows)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (Windows)
A task was canceled.
Build Erlang/OTP (32-bit)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (32-bit)
The operation was canceled.
Build Erlang/OTP (clang)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (clang)
The operation was canceled.
Build Erlang/OTP (Types and Flavors)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (Types and Flavors)
The operation was canceled.
Test Erlang/OTP (diameter)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (diameter)
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 (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.
Build Erlang/OTP (macOS)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (kernel)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (macOS)
A task was canceled.
Test Erlang/OTP (kernel)
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.
Build Erlang/OTP (iOS)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build Erlang/OTP (iOS)
The operation was canceled.
Test Erlang/OTP (parsetools)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (parsetools)
The operation was canceled.
Test Erlang/OTP (eunit)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (eunit)
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 (edoc)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (edoc)
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
Build and check documentation
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Build and check documentation
The operation was canceled.
Test Erlang/OTP (syntax_tools)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (syntax_tools)
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.
Test Erlang/OTP (runtime_tools)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (runtime_tools)
The operation was canceled.
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)
A task was canceled.
Test Erlang/OTP (compiler)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Test Erlang/OTP (compiler)
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
Build Erlang/OTP (cross-compile)
The operation was canceled.
Run static analysis
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9079/merge-9079' exists
Run static analysis
The operation was canceled.

Artifacts

Produced during runtime
Name Size
Event File Expired
4.86 KB
otp_git_archive Expired
59.6 MB
otp_prebuilt Expired
325 MB