Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
6 changes: 6 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ on:
workflow_dispatch: null
push:
pull_request:
types: [opened, synchronize, reopened, labeled, unlabeled]
jobs:
docker-build:
runs-on: ubuntu-latest
Expand Down Expand Up @@ -58,6 +59,11 @@ jobs:
- name: run linter
run: make lint

- name: Check Merge Readiness
if: github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'do-not-merge')
run: |
echo "::error::This PR is labeled 'do-not-merge'."
exit 1
unit-tests-on-ubuntu:
runs-on: ubuntu-latest
strategy:
Expand Down
9 changes: 4 additions & 5 deletions .github/workflows/labeler.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
name: labeler
name: Labeler

on:
push:
Expand All @@ -16,11 +16,10 @@ jobs:
labeler:
runs-on: ubuntu-latest
steps:
-
name: Checkout
- name: Checkout
uses: actions/checkout@v7
-
name: Run Labeler

- name: Run Labeler
uses: crazy-max/ghaction-github-labeler@548a7c3603594ec17c819e1239f281a3b801ab4d
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
Expand Down
Loading