Skip to content

Merge pull request #702 from DiamondLightSource/update-dockerfile-deps #3

Merge pull request #702 from DiamondLightSource/update-dockerfile-deps

Merge pull request #702 from DiamondLightSource/update-dockerfile-deps #3

Workflow file for this run

name: Create Release with Changelog
on:
push:
tags:
- v*
jobs:
release:
runs-on: ubuntu-latest
steps:
- name: Create GitHub Release
# We pin to the SHA, not the tag, for security reasons.
# https://docs.github.com/en/actions/learn-github-actions/security-hardening-for-github-actions#using-third-party-actions
uses: softprops/action-gh-release@a06a81a03ee405af7f2048a818ed3f03bbf83c7b # v2.5.0
with:
prerelease: ${{ contains(github.ref_name, 'a') || contains(github.ref_name, 'b') || contains(github.ref_name, 'rc') }}
generate_release_notes: true