Skip to content

Replace ubuntu-20.04 with ubuntu-latest #1341

Replace ubuntu-20.04 with ubuntu-latest

Replace ubuntu-20.04 with ubuntu-latest #1341

Builds  /  Docs

succeeded Sep 5, 2024 in 6m 57s