Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: start changelog PR from head, add manual trigger and build nightly #580

Merged
merged 2 commits into from
Aug 16, 2023
Merged

chore: start changelog PR from head, add manual trigger and build nightly #580

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0a77123
chore: start changelog PR from head and allow to run manually, build …
mcasimir Aug 16, 2023
f79683d
fix comment
mcasimir Aug 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 15 additions & 3 deletions .github/workflows/rebuild-changelog.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,16 @@
name: Rebuild changelog

on:
# Once a week or on release published
# manually
workflow_dispatch:

# on release published
release:
types: [published]

# nightly
schedule:
- cron: "0 3 * * 0"
- cron: "0 3 * * *"

jobs:
rebuild-changelog:
Expand All @@ -14,7 +19,14 @@ jobs:
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
# don't checkout a detached HEAD, is important to have a real base
# branch when creating a PR
ref: ${{ github.head_ref }}

# this is important so git log can pick up on
# the whole history to generate the CHANGELOG
fetch-depth: '0'

- name: Set up Git
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
Expand Down