Skip to content

Rename release artifacts #1271

Rename release artifacts

Rename release artifacts #1271

build (ubuntu-20.04, OFF, OFF, gcc, 9)

succeeded Apr 17, 2024 in 55s