ci: deploys wait until the hackathon's judging ends on 22 Oct

The judges' v0.17.0 uses learn.halkyon.eu, which stays at v0.17.0
meanwhile, while main moves on and is tested locally. The deploy job is
switched off until then; afterwards it runs for main again.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
This commit is contained in:
Tizian 「ティツィアーン」 2026-10-17 19:30:17 +02:00
commit 39926ddc5b
Signed by: raisondetredev
GPG key ID: 07F6FCF405488B64

View file

@ -1,7 +1,8 @@
# CI: every push of a branch runs the checks of the pre-push hook (tool/check.sh); a push to main is
# then deployed to learn.halkyon.eu (deploy/redeploy.sh). Both jobs run on the runner on
# learn.halkyon.eu's server, directly on the host as an unprivileged user (deploy/runner/). A commit
# that passed the checks before isn't checked again (see "Checked before?").
# then deployed to learn.halkyon.eu (deploy/redeploy.sh; paused until 22 Oct 2026, see the deploy
# job). Both jobs run on the runner on learn.halkyon.eu's server, directly on the host as an
# unprivileged user (deploy/runner/). A commit that passed the checks before isn't checked again
# (see "Checked before?").
#
# Pushes only, no pull requests: a pull request from a fork would run its own code on
# the production server's runner.
@ -146,7 +147,10 @@ jobs:
deploy:
needs: check
if: github.ref == 'refs/heads/main'
# Paused until the hackathon's judging ends (22 Oct 2026): the judges' v0.17.0 uses
# learn.halkyon.eu, which stays at v0.17.0 meanwhile, while main moves on and is
# tested locally. Afterwards, put back: if: github.ref == 'refs/heads/main'
if: false
runs-on: sahaquiel
timeout-minutes: 30
steps: