Yaml to CSV converter #252
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
name: Ensure distribution files committed are up-to-date | |
on: | |
workflow_dispatch: | |
pull_request: | |
branches: | |
- main | |
permissions: | |
issues: write | |
jobs: | |
ensure_dist_committed: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: ruby/setup-ruby@v1 | |
with: | |
bundler-cache: true | |
- uses: cue-lang/setup-cue@v1.0.0 | |
with: | |
version: 'v0.7.0' | |
- name: Generate distribution files | |
run: make VERBOSE=1 | |
- name: Ensure there are no uncommitted distrubtion file changes | |
id: ensure-dist-committed | |
run: | | |
git diff --exit-code || (echo "Please commit the changes made by the build process" && exit 1) | |
- name: Inform PR author of failure and path to fix | |
if: ${{ failure() && steps.ensure-dist-committed.outcome == 'failure' }} | |
run: | | |
# Comment to send | |
COMMENT="Hi there! It looks like your pull request changes taxonomy \`data/*\` files, but is missing updates to \`dist/*\` files.<br /><br />**⏭️ How to fix**<br />Make a PR comment of \`/generate_dist\`, and I will fix this for you :robot:. Alternatively, you can run \`make\` locally and commit the changes yourself." | |
# GitHub API Token and PR URL | |
GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} | |
COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments" | |
# Use jq to encode the JSON properly, carefully handling the new lines and backticks | |
JSON_BODY=$(jq -n --arg body "$COMMENT" '{body: $body}') | |
# Use curl to post the comment. | |
curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST "$COMMENT_URL" -d "$JSON_BODY" |