From b25ab4bd4237e019ff30962f79b0b0d206122e82 Mon Sep 17 00:00:00 2001 From: Joseph Edwards Date: Tue, 3 Feb 2026 16:01:31 +0000 Subject: [PATCH] Fetch release data from GitHub --- action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.yml b/action.yml index 876f53f..0b99004 100644 --- a/action.yml +++ b/action.yml @@ -95,7 +95,7 @@ runs: # We only check for releases in the official repository if [[ "${{ inputs.repository }}" == "gap-system/gap" ]] ; then - wget -q -O $RUNNER_TEMP/gap_releases.json https://www.gap-system.org/releases.json + wget -q -O $RUNNER_TEMP/gap_releases.json https://raw.githubusercontent.com/gap-system/GapWWW/master/releases.json if [[ "${{ inputs.gap-version }}" == "latest" ]] ; then echo "Version: latest release" VERSION=$(cat $RUNNER_TEMP/gap_releases.json | jq -r '.[] | select(.isLatest == true) | .tagName ')