2023-01-28 10:58:45 +00:00
|
|
|
name: version-release
|
2021-10-21 23:15:54 +00:00
|
|
|
|
|
|
|
on:
|
|
|
|
workflow_dispatch:
|
|
|
|
inputs:
|
|
|
|
milestone:
|
|
|
|
description: 'Milestone for this release'
|
|
|
|
required: true
|
|
|
|
|
|
|
|
jobs:
|
2021-10-23 09:56:11 +00:00
|
|
|
release:
|
|
|
|
name: Run release
|
2021-10-21 23:15:54 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repo
|
2024-03-15 21:03:10 +00:00
|
|
|
uses: actions/checkout@v4
|
2021-10-21 23:15:54 +00:00
|
|
|
with:
|
2021-10-23 09:56:11 +00:00
|
|
|
submodules: true # Fetch Hugo themes (true OR recursive)
|
2023-10-19 19:25:35 +00:00
|
|
|
# fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod - not necessary for this repo
|
2021-10-21 23:15:54 +00:00
|
|
|
|
2021-10-23 09:56:11 +00:00
|
|
|
- name: Check milestone
|
|
|
|
id: check
|
|
|
|
uses: ./.github/actions/check_milestone
|
2021-10-21 23:15:54 +00:00
|
|
|
with:
|
2021-10-23 09:56:11 +00:00
|
|
|
milestone: ${{ github.event.inputs.milestone }}
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
2021-10-21 23:15:54 +00:00
|
|
|
|
2021-10-23 09:56:11 +00:00
|
|
|
- name: Create release
|
|
|
|
if: ${{ steps.check.outputs.outcome == 'success' }}
|
|
|
|
uses: ./.github/actions/release_milestone
|
2021-10-21 23:15:54 +00:00
|
|
|
with:
|
2021-10-23 09:56:11 +00:00
|
|
|
milestone: ${{ github.event.inputs.milestone }}
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
2021-10-21 23:15:54 +00:00
|
|
|
|
2021-10-23 09:56:11 +00:00
|
|
|
# We need to deploy the site again to show the updated changelog
|
|
|
|
- name: Build site
|
|
|
|
uses: ./.github/actions/build_site
|
2021-10-21 23:15:54 +00:00
|
|
|
|
2021-10-23 09:56:11 +00:00
|
|
|
- name: Deploy site
|
|
|
|
uses: ./.github/actions/deploy_site
|
2021-10-21 23:15:54 +00:00
|
|
|
with:
|
2021-10-23 09:56:11 +00:00
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|