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]
jobs:
publish:
runs-on: docker
automate-ifc:
runs-on: self-hosted
steps:
- name: Install checkout
uses: https://github.com/actions/checkout@v4
@ -10,23 +10,16 @@ jobs:
- name: Get changed files
id: changed-files
uses: https://github.com/tj-actions/changed-files@v42
- name: Update website
- name: Do computations
env:
ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }}
run: |
if: ${{ secrets.WEB != '' }}
run: |
git clone --recursive https://rvba:${{ secrets.WEB }}@git.forgeons.org/rvba/web
cd web
git config user.email "ci@git.forgeons.org" ; git config user.name "forgeons-web"
if [[ ! -d web ]]
then
git clone https://git.forgeons.org/rvba/web
fi
cd web && git pull
cd scripts
for file in ${ALL_CHANGED_FILES}; do
./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>