AppImage: fixed Jupyter and ILua modes on all but my own system #6
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Nightly Builds | |
on: [push, pull_request] | |
jobs: | |
Linux: | |
# AppImages should be built on the oldest possible version. | |
# This should also match the version referenced in AppImage.yml. | |
runs-on: ubuntu-20.04 | |
steps: | |
- name: Git Clone | |
uses: actions/checkout@v4.1.6 | |
- name: Update Repositories | |
run: sudo apt-get update | |
- name: Install Build Dependencies | |
run: | | |
# NOTE: The LDoc version from LuaRocks is just as old. | |
# Also, it does not appear to contain a Markdown plugin as is claimed | |
# in the documentation. | |
sudo apt-get install -y rename lua-ldoc lua-discount | |
- name: Build AppImage | |
run: | | |
wget -O pkg2appimage.AppImage \ | |
"https://github.com/AppImageCommunity/pkg2appimage/releases/download/continuous/pkg2appimage--x86_64.AppImage" | |
chmod +x pkg2appimage.AppImage | |
./pkg2appimage.AppImage AppImage.yml | |
cd out | |
rename 's/.*\.glibc/Applause-nightly-glibc/' *.AppImage | |
chmod a+x *.AppImage | |
- name: Archive AppImage | |
uses: pyTooling/Actions/releaser@v1.0.5 | |
with: | |
token: ${{ secrets.GITHUB_TOKEN }} | |
tag: nightly | |
rm: true | |
files: out/*.AppImage | |
# We apparently cannot change what page is shown in index.html, | |
# so we rename it to api.html and redirect in index.html. | |
- name: Build Lua Documentation | |
run: | | |
ldoc -o api . | |
echo '<html><head><meta http-equiv="refresh" content="0; URL=topics/README.md.html"/>' >doc/index.html | |
- name: Publish Website | |
run: | | |
cd doc | |
touch .nojekyll | |
git init | |
cp ../.git/config ./.git/config | |
git add . | |
git config --local user.email "Website@GitHubActions" | |
git config --local user.name "GitHub Actions" | |
git commit -a -m "update ${{ github.sha }}" | |
git push -u origin +HEAD:gh-pages |