Skip to content

Merge pull request #1661 from CTSRD-CHERI/more-exact-bounds #2667

Merge pull request #1661 from CTSRD-CHERI/more-exact-bounds

Merge pull request #1661 from CTSRD-CHERI/more-exact-bounds #2667

Triggered via push June 20, 2023 17:01
Status Success
Total duration 28m 43s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
aarch64 ubuntu-20.04 (clang-12)
The process '/usr/bin/git' failed with exit code 128
amd64 ubuntu-20.04 (clang-12)
The process '/usr/bin/git' failed with exit code 128
aarch64 ubuntu-22.04 (clang-14)
The process '/usr/bin/git' failed with exit code 128
amd64 ubuntu-22.04 (clang-14)
The process '/usr/bin/git' failed with exit code 128
aarch64 macos-latest (clang-13)
The process '/usr/local/bin/git' failed with exit code 128
amd64 macos-latest (clang-13)
The process '/usr/local/bin/git' failed with exit code 128