Skip to content
Back to pull request #1335

CI: pin GitHub ssh keys #3675

Sign in to view logs

CI: pin GitHub ssh keys

CI: pin GitHub ssh keys #3675

build-and-test (clang-13, 27, clang++-13, clang-13, -DAVM_WARNINGS_ARE_ERRORS=ON, ubuntu-22.04)

build-and-test (clang-13, 27, clang++-13, clang-13, -DAVM_WARNINGS_ARE_ERRORS=ON, ubuntu-22.04)
succeeded Oct 14, 2024 in 11m 17s