From: Mark Thom Date: Tue, 30 Sep 2025 03:47:55 +0000 (-0700) Subject: Merge pull request #3109 from Skgland/issue-3107 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=476c1718f9eae26a43b1a4ee2871a4e3ccd8c297;p=scryer-prolog.git Merge pull request #3109 from Skgland/issue-3107 move CI job release from retired ubuntu-20.04 image to ubuntu-22.04 --- 476c1718f9eae26a43b1a4ee2871a4e3ccd8c297