Remove dict from user-facing API
#268
Triggered via pull request
September 4, 2024 12:10
bjosv
Status
Success
Total duration
16m 45s
Artifacts
–
ci.yml
on: pull_request
Run static checkers
40s
Installation tests
15s
macOS
24s
Windows
4m 19s
Windows (MinGW64)
54s
Matrix: ubuntu
Annotations
2 warnings
|
Release-build [clang-18, cmake-3.29 sanitizer="leak"]
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:/etc/apt/trusted.gpg.d/setup-cpp-ubuntu-archive.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '40976EAF437D05B5'
|
|
Release-build [clang-18, cmake-3.29 sanitizer="leak"]
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:/etc/apt/trusted.gpg.d/launchpad-toolchain.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|