Skip to content

Merge pull request #4885 from dodona-edu/enhance/saved-annotation-page #2000

Merge pull request #4885 from dodona-edu/enhance/saved-annotation-page

Merge pull request #4885 from dodona-edu/enhance/saved-annotation-page #2000

name: Release Drafter
on:
push:
# branches to consider in the event; optional, defaults to all
branches:
- main
jobs:
update_draft_release:
name: Update Draft Release
runs-on: ubuntu-latest
steps:
# Drafts next release notes as Pull Requests are merged into "main"
- uses: toolmantim/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}