diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-10-05 20:10:46 +0300 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-10-05 20:10:46 +0300 |
| commit | 22ae070c9b19cbe62665bddc4afdb343a8b5e8bb (patch) | |
| tree | eb155020d01984114f1efd2154e8b72086b1f2d6 /.github/workflows | |
| parent | 9cb11fff02c23ea8c6cc337fbc4d763153bf74ae (diff) | |
| download | applause2-22ae070c9b19cbe62665bddc4afdb343a8b5e8bb.tar.gz | |
point to new home at https://git.fmsbw.de/applause2/
This also replaces Github workflows with .fmsbw CI scripts.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/nightly.yml | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml deleted file mode 100644 index 9b2cace..0000000 --- a/.github/workflows/nightly.yml +++ /dev/null @@ -1,58 +0,0 @@ -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 |