Release #1

	name: Release
	on:
	workflow_dispatch:

	jobs:
	release:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: releases/v1
	fetch-depth: 0
	- name: Git config
	run: \|
	git config user.name autograding-release-bot
	git config user.email autograding-release-bot+education@github.com
	- name: Run build and commit to releases/v1
	run: \|
	git reset --hard origin/main
	git push -f origin releases/v1
	- name: Tag and push v1
	run: \|
	git tag -f v1 # Since we are already on releases/v1 we don't need a ref. This will tag HEAD of releases/v1.
	git push origin v1 --force
	- name: Create Release
	id: create_release
	uses: ncipollo/release-action@v1
	with:
	tag: v1
	allowUpdates: true

Provide feedback