Upgrade ghc to version 9.6 #257
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# The purpose of this action is to enforce that every pull request | |
# includes a change to our release notes file | |
name: Check release notes | |
on: | |
pull_request: | |
# The specific activity types are listed here to include "labeled" and "unlabeled" | |
# (which are not included by default for the "pull_request" trigger). | |
# This is needed to allow skipping enforcement of the changelog in PRs with specific labels, | |
# as defined in the (optional) "skipLabels" property. | |
types: [opened, synchronize, reopened, ready_for_review, labeled, unlabeled] | |
paths-ignore: | |
- "docs/**" # If only documentation changes, no need to adapt ReleaseNotes.md | |
jobs: | |
# Enforces the update of a changelog file on every pull request | |
changelog: | |
runs-on: ubuntu-latest | |
steps: | |
# The checkout step is needed since the enforcer relies on local git commands | |
- uses: actions/checkout@v3 | |
- uses: dangoslen/changelog-enforcer@v2 | |
with: | |
changeLogPath: ReleaseNotes.md | |
missingUpdateErrorMessage: "Every pull request MUST include a description of the change in the ReleaseNotes.md file" |