Skip to content

Rename release artifacts #1271

Rename release artifacts

Rename release artifacts #1271

build (ubuntu-20.04, ON, OFF, clang, 11)

succeeded Apr 17, 2024 in 1m 30s