Skip to content
PR

Fix soundness problem when matching iso variables #2861

Sign in to view logs

Fix soundness problem when matching iso variables

Fix soundness problem when matching iso variables #2861

Triggered via pull request January 19, 2025 18:49
@SeanTAllenSeanTAllen
synchronize #4588
issue-4579
Status Success
Total duration 47m 28s
Artifacts –

pr.yml

on: pull_request
Matrix: x86_64-linux
Lint bash, docker, markdown, and yaml
1m 41s
Lint bash, docker, markdown, and yaml
Validate musl Docker image builds
20s
Validate musl Docker image builds
Validate GNU Docker image builds
43s
Validate GNU Docker image builds
Validate Windows Docker image builds
13m 54s
Validate Windows Docker image builds
Validate musl Docker release image builds
22s
Validate musl Docker release image builds
Validate GNU Docker release image builds
30s
Validate GNU Docker release image builds
Validate Windows Docker release image builds
6m 36s
Validate Windows Docker release image builds
Verify CHANGELOG is valid
5s
Verify CHANGELOG is valid
x86-64 Apple Darwin
22m 35s
x86-64 Apple Darwin
arm64 Apple Darwin
15m 2s
arm64 Apple Darwin
x86-64 Windows MSVC
39m 15s
x86-64 Windows MSVC
Matrix: aarch64-linux
Matrix: arm-linux
Matrix: armhf-linux
Matrix: riscv64-linux
Matrix: use_directives
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
Verify CHANGELOG is valid
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate musl Docker image builds
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate musl Docker release image builds
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate GNU Docker release image builds
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate GNU Docker image builds
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint bash, docker, markdown, and yaml
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
x86-64 Linux glibc
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
x86-64 Linux musl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
riscv64 Linux glibc
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
armhf Linux glibc
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
arm Linux glibc
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
use dtrace
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
use runtimestats
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
use pool_memalign
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636