Compare commits

..

No commits in common. "ed579ebcfbccc2464b05c5d453d80f64c10d9e32" and "a4fc96fdeb5576a88c090625b81127aaffc03d82" have entirely different histories.

2 changed files with 1 additions and 33 deletions

View file

@ -1,32 +0,0 @@
on: [push]
jobs:
build:
runs-on: docker
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Install Pandoc
run: |
apt-get update
apt-get install -y pandoc
- name: Generate guide.html
run: bash update-guide.sh
- name: Install Podman
run: |
apt-get update
apt-get install -y podman
- name: Podman Login
run: |
echo "${{ secrets.DOCKER_PASSWORD }}" | podman login git.interhacker.space --username "${{ secrets.DOCKER_USERNAME }}" --password-stdin
- name: Build Container Image
run: |
podman build -t git.interhacker.space/interhack/camp-website-2026:latest .
- name: Push Container Image
run: |
podman push git.interhacker.space/interhack/camp-website-2026:latest

View file

@ -8,7 +8,7 @@ echo "Mise a jour du guide dans guide.html a partir du edgedoc"
echo "$GUIDE_EDGEDOC_URL"
set -e
curl --silent --fail "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md
curl --silent --fail-with-body "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md
pandoc --from markdown --to html guide.tmp.md > guide.tmp.html
cat guide.template.html \
| sed '/EDGEDOC/{