Compare commits

..

No commits in common. "f3b8521c17f3aa77ee5f06128410674d93ac7e5a" and "084743df2c46f8ce534e563d0f9884e1a65a1d53" have entirely different histories.

3 changed files with 10 additions and 19 deletions

View file

@ -1,7 +1,7 @@
on: [push] on: [push]
jobs: jobs:
publish: automate-ifc:
runs-on: docker runs-on: self-hosted
steps: steps:
- name: Install checkout - name: Install checkout
uses: https://github.com/actions/checkout@v4 uses: https://github.com/actions/checkout@v4
@ -10,23 +10,16 @@ jobs:
- name: Get changed files - name: Get changed files
id: changed-files id: changed-files
uses: https://github.com/tj-actions/changed-files@v42 uses: https://github.com/tj-actions/changed-files@v42
- name: Update website - name: Do computations
env: env:
ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }}
run: | run: |
if: ${{ secrets.WEB != '' }} if [[ ! -d web ]]
run: | then
git clone --recursive https://rvba:${{ secrets.WEB }}@git.forgeons.org/rvba/web git clone https://git.forgeons.org/rvba/web
cd web fi
git config user.email "ci@git.forgeons.org" ; git config user.name "forgeons-web" cd web && git pull
cd scripts cd scripts
for file in ${ALL_CHANGED_FILES}; do for file in ${ALL_CHANGED_FILES}; do
./web.sh "$file" ./web.sh "$file"
cd ..
git add .
if git diff-index --quiet HEAD ; then
echo Nothing changed, not pushing
else
git commit -m 'publish' -a
git push
fi

3
dist/.gitignore vendored
View file

@ -1,2 +1 @@
*.html

1
dist/index.html vendored
View file

@ -1 +0,0 @@
<h1 id="forgeons">Forgeons !</h1>