merge #269

	name: Build and deploy
	on:
	pull_request:
	push:
	permissions:
	contents: write
	jobs:
	success:
	runs-on: ubuntu-24.04
	steps:
	# Checkout the repository
	- name: Checkout
	uses: actions/[email protected]
	with:
	fetch-depth: 0
	submodules: recursive
	fetch-tags: 'true'
	- name: Setup Hugo
	uses: peaceiris/[email protected]
	with:
	hugo-version: 0.139.4
	extended: true
	- name: Build Hugo website
	run: hugo
	- name: Debug
	run: echo $GITHUB_REPOSITORY
	- name: Deploy staging
	if: github.event_name == 'push' && github.ref_name == 'master'
	uses: JamesIves/[email protected]
	with:
	git-config-name: github-actions
	git-config-email: [email protected]
	branch: gh-pages
	folder: public
	- name: Deploy official website
	if: github.event_name == 'push' && github.repository == 'pslab-unibo/web-frontend' && github.ref_name == 'master'
	uses: JamesIves/[email protected]
	with:
	ssh-key: ${{ secrets.DEPLOY_KEY }}
	git-config-name: github-actions
	git-config-email: [email protected]
	repository-name: pslab-unibo/pslab-unibo.github.io
	branch: master
	folder: public

Provide feedback