jose/itchio-opengamepadui-artprovider-plugin
1
0
Fork 0
Code Issues Pull requests Projects Releases 20 Packages Wiki Activity Actions

ci: extract the Godot build with python3 instead of unzip
All checks were successful
Build plugin / build (push) Successful in 1m7s
Details

Browse source 
Same failure as the itch plugin: the runner image is Debian 11 based and
its apt index requests an unzip build that is no longer in the security
pool, so dependency install 404s before the build starts.
This commit is contained in:
Jose Falanga 2026-10-15 11:39:16 -03:00
parent 436865f3cb
commit 588973e671
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.forgejo/workflows/build.yml
View file

@ -16,15 +16,17 @@ jobs:
- name: Install dependencies - name: Install dependencies
run: | run: |
apt-get update -qq apt-get update
apt-get install -y -qq make git wget unzip apt-get install -y -qq make git wget
- name: Install Godot - name: Install Godot
run: | run: |
wget -q https://github.com/godotengine/godot/releases/download/4.4.1-stable/Godot_v4.4.1-stable_linux.x86_64.zip wget -q https://github.com/godotengine/godot/releases/download/4.4.1-stable/Godot_v4.4.1-stable_linux.x86_64.zip
unzip -q Godot_v4.4.1-stable_linux.x86_64.zip # python3 instead of unzip: the runner image is Debian 11 based and its apt
# index points at an unzip build that is gone from the security pool.
python3 -m zipfile -e Godot_v4.4.1-stable_linux.x86_64.zip godot-dir
mkdir -p "$HOME/.local/bin" mkdir -p "$HOME/.local/bin"
mv Godot_v4.4.1-stable_linux.x86_64 "$HOME/.local/bin/godot" mv godot-dir/Godot_v4.4.1-stable_linux.x86_64 "$HOME/.local/bin/godot"
chmod +x "$HOME/.local/bin/godot" chmod +x "$HOME/.local/bin/godot"
echo "$HOME/.local/bin" >> "$GITHUB_PATH" echo "$HOME/.local/bin" >> "$GITHUB_PATH"