Improve error message for generic subtyping. #2691
jemcpr.yml
on: pull_request
Matrix: x86_64-linux
Lint bash, docker, markdown, and yaml
1m 51s
Validate musl Docker image builds
29s
Validate GNU Docker image builds
32s
Validate Windows Docker image builds
2m 7s
Validate musl Docker release image builds
26s
Validate GNU Docker release image builds
36s
Validate Windows Docker release image builds
2m 36s
Verify CHANGELOG is valid
8s
x86-64 Apple Darwin
3m 14s
arm64 Apple Darwin
3m 19s
x86-64 Windows MSVC
3m 8s
Matrix: aarch64-linux
Matrix: arm-linux
Matrix: armhf-linux
Matrix: riscv64-linux
Matrix: use_directives
Annotations
18 errors
|
aarch64 Linux glibc
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
aarch64 Linux glibc
The operation was canceled.
|
|
x86-64 Linux glibc
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
x86-64 Linux glibc
The operation was canceled.
|
|
x86-64 Linux musl
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
x86-64 Linux musl
The operation was canceled.
|
|
arm Linux glibc
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
arm Linux glibc
The operation was canceled.
|
|
armhf Linux glibc
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
armhf Linux glibc
The operation was canceled.
|
|
riscv64 Linux glibc
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
riscv64 Linux glibc
The operation was canceled.
|
|
x86-64 Windows MSVC
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
x86-64 Windows MSVC
The operation was canceled.
|
|
x86-64 Apple Darwin
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
x86-64 Apple Darwin
The operation was canceled.
|
|
arm64 Apple Darwin
Canceling since a higher priority waiting request for 'pr-refs/pull/4517/merge' exists
|
|
arm64 Apple Darwin
The operation was canceled.
|