Skip to content

Merge pull request #8691 from lrineau/CGAL-Github-use-ubuntu-22.04-GF #10235

Merge pull request #8691 from lrineau/CGAL-Github-use-ubuntu-22.04-GF

Merge pull request #8691 from lrineau/CGAL-Github-use-ubuntu-22.04-GF #10235

build

succeeded Jan 17, 2025 in 22m 4s