Skip to content
CI

Add extensive compiler tests in CI #69

Sign in to view logs

Add extensive compiler tests in CI

Add extensive compiler tests in CI #69

Triggered via pull request August 2, 2025 04:00
@mkannwischermkannwischer
synchronize #15
ci-compiler-tests
Status Success
Total duration 1h 5m 44s
Artifacts –

all.yml

on: pull_request
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix  /  check_modified_files
4s
Nix / check_modified_files
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  CBMC
2m 2s
CBMC / CBMC
Matrix: Extended / compiler_tests
Fit to window
Zoom out
Zoom in

Annotations

44 notices
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.40)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.40)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.39)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.39)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Nix / nix setup test (macos-latest, nix via installer)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Nix / nix setup test (macos-latest, nix via installer)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Nix / build nix cache (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Nix / build nix cache (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -O3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -Os)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-14, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-20, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-13, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-18, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (gcc-11, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Extended / Compiler tests (clang-19, macos, -O0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520