Build and Deploy Website #194

	name: Build and Deploy Website
	on:
	workflow_dispatch:
	push:
	branches:
	- master
	jobs:
	deploy:
	runs-on: ubuntu-latest
	environment: Deploy
	steps:
	- uses: actions/setup-python@v3
	with:
	python-version: '3.x'
	- shell: bash
	run: pip3 install virtualenv
	- shell: bash
	run: \|
	mkdir -p "$HOME/bin"
	curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.5.4/mdbook-v0.5.4-x86_64-unknown-linux-gnu.tar.gz \| tar -xz --directory="$HOME/bin"
	echo "$HOME/bin" >> "$GITHUB_PATH"
	- uses: actions/checkout@v2
	with:
	path: vercors-web
	- uses: actions/checkout@v2
	with:
	repository: utwente-fmt/vercors-web-build
	path: vercors-web-build
	token: ${{ secrets.VERCORS_BOT_PAT }}
	- run: \|
	cd vercors-web
	virtualenv venv -p python3
	source venv/bin/activate
	pip install -r requirements.txt
	python build.py
	- run: rm -r vercors-web-build/pub/*
	- run: cp -r vercors-web/build/* vercors-web-build/pub
	- run: \|
	cd vercors-web-build
	git config --global user.name "VerCors Bot"
	git config --global user.email "vercors-develop@lists.utwente.nl"
	git add .
	git status
	git commit -m 'Update Website'
	git push

Navigation Menu