Skip to content

ci: GCC-13 has been removed from GA runners#1043

Merged
gnikit merged 1 commit intomainfrom ci/drop-gcc-13Jun 4, 2024
+1-1

Commits

Commits on Jun 3, 2024