Skip to content

Merge pull request #932 from dlamkins/fix/many-mini #298

Merge pull request #932 from dlamkins/fix/many-mini

Merge pull request #932 from dlamkins/fix/many-mini #298

name: Release Drafter
on:
push:
branches:
- dev
jobs:
update_release_draft:
runs-on: ubuntu-latest
steps:
# Drafts next Release notes as Pull Requests are merged into "master"
- uses: release-drafter/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}