Skip to content

GithubCI: use Ubuntu 24.04 instead of 23.10 #2507

GithubCI: use Ubuntu 24.04 instead of 23.10

GithubCI: use Ubuntu 24.04 instead of 23.10 #2507

Build F#

succeeded Nov 21, 2024 in 2m 13s