Your ROOT_URL in app.ini is https://source.parasitstudio.de:63000/ but you are visiting https://source.parasitstudio.de/wirtz/MiniDexed/commit/b87fd74bf9d08f3eb682db501b7d841bc6bfd79f?style=unified&whitespace=ignore-all
You should set ROOT_URL correctly, otherwise the web may not work correctly.
2 changed files with
19 additions and
3 deletions
.github/workflows/build.yml
build.sh
@ -1,4 +1,4 @@
name : BuildSysex
name : Build
env:
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
@ -46,6 +46,18 @@ jobs:
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
RPI=3 bash -ex build.sh
cp ./src/kernel*.img ./kernels/
- name : Build for Raspberry Pi 2
run : |
set -ex
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
RPI=2 bash -ex build.sh
cp ./src/kernel*.img ./kernels/
- name : Build for Raspberry Pi 1
run : |
set -ex
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
RPI=1 bash -ex build.sh
cp ./src/kernel*.img ./kernels/
- name : Get Raspberry Pi boot files
run : |
set -ex
@ -74,4 +86,3 @@ jobs:
set -ex
wget -c https://github.com/probonopd/uploadtool/raw/master/upload.sh
bash ./upload.sh ./MiniDexed*.zip
@ -1,4 +1,9 @@
f [ -z " ${ RPI } " ] ; then
#!/bin/bash
set -e
set -x
if [ -z " ${ RPI } " ] ; then
echo "\$RPI missing, exting"
exit 1
fi