Skip to content

CI: pin GitHub ssh keys #3675

CI: pin GitHub ssh keys

CI: pin GitHub ssh keys #3675

build-and-test (gcc-12, 27, g++-12, gcc-12 g++-12, -DAVM_WARNINGS_ARE_ERRORS=ON, ubuntu-24.04)

succeeded Oct 14, 2024 in 4m 48s