mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-19 00:41:43 +00:00
ce77e6022f
When downloading a patch to fix linting errors, it's annoying to have to unzip it, particularly when it's a single file. This PR updates the `upload-artifact` action to v7, which allows for uploading an artifact without zipping it. It also sets archive to false for all patches generated by linting.
35 lines
856 B
YAML
35 lines
856 B
YAML
name: Check Pregenerated Files
|
|
|
|
on:
|
|
pull_request:
|
|
push:
|
|
branches-ignore:
|
|
- main
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
update:
|
|
name: "Update"
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@v6
|
|
with:
|
|
fetch-depth: 0
|
|
- name: Run pregen
|
|
uses: ./.github/actions/pregen
|
|
- name: Add untracked files to index so they count as changes
|
|
run: git add -A
|
|
- name: Check output
|
|
run: git --no-pager diff --exit-code HEAD
|
|
- name: Generate diff
|
|
run: git diff HEAD > pregenerated-files-fixes.patch
|
|
if: ${{ failure() }}
|
|
- uses: actions/upload-artifact@v7
|
|
with:
|
|
archive: false
|
|
path: pregenerated-files-fixes.patch
|
|
if: ${{ failure() }}
|