diff options
author | Ian Moffett <ian@osmora.org> | 2024-03-07 17:28:52 -0500 |
---|---|---|
committer | Ian Moffett <ian@osmora.org> | 2024-03-07 18:24:51 -0500 |
commit | f5e48e94a2f4d4bbd6e5628c7f2afafc6dbcc459 (patch) | |
tree | 93b156621dc0303816b37f60ba88051b702d92f6 /lib/mlibc/.github/workflows/fixups.yml | |
parent | bd5969fc876a10b18613302db7087ef3c40f18e1 (diff) |
build: Build mlibc + add distclean target
Signed-off-by: Ian Moffett <ian@osmora.org>
Diffstat (limited to 'lib/mlibc/.github/workflows/fixups.yml')
-rw-r--r-- | lib/mlibc/.github/workflows/fixups.yml | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/lib/mlibc/.github/workflows/fixups.yml b/lib/mlibc/.github/workflows/fixups.yml deleted file mode 100644 index 08bdf93..0000000 --- a/lib/mlibc/.github/workflows/fixups.yml +++ /dev/null @@ -1,24 +0,0 @@ -name: Check if PR has fixups - -on: - pull_request: - -jobs: - find-fixups: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - run: | - set -e -o pipefail - - git rev-list 'HEAD^..HEAD' \ - | while read -r COMMIT; do - printf 'pondering commit %s\n' "$COMMIT" - git show -s "$COMMIT" - if git show -s --format='%s' "$COMMIT" | grep -q '^fixup! '; then - exit 1 - fi - done - printf 'ready to merge!\n' |