Skip to content
Build and check Erlang/OTP

dialyzer: fix issues related to opaques #18395

Sign in to view logs

dialyzer: fix issues related to opaques

dialyzer: fix issues related to opaques #18395

Triggered via pull request December 4, 2024 12:32
@lucioleKilucioleKi
opened #9144
lucioleKi:isabell/dialyzer/nominal-types
Status Cancelled
Total duration 1m 33s
Artifacts 1

main.yaml

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

2 errors and 1 warning
Build Erlang/OTP (64-bit)
Canceling since a higher priority waiting request for 'Build and check Erlang/OTP-refs/pull/9144/merge-9144' exists
Build Erlang/OTP (64-bit)
The template is not valid. .github/workflows/main.yaml (Line: 153, Col: 23): Error reading JToken from JsonReader. Path '', line 0, position 0.
Event File
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
Event File
3.73 KB