mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
902bcfe6aa
* Add script to generate changelogs from PR labels * Improve PR template * Better categorization
33 lines
797 B
YAML
33 lines
797 B
YAML
# https://github.com/marketplace/actions/require-labels
|
|
# Check for existence of labels
|
|
# See all our labels at https://github.com/rerun-io/rerun/issues/labels
|
|
|
|
name: Pull Request Labels
|
|
|
|
on:
|
|
pull_request:
|
|
types:
|
|
- opened
|
|
- synchronize
|
|
- reopened
|
|
- labeled
|
|
- unlabeled
|
|
|
|
jobs:
|
|
label:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Check for a "do-not-merge" label
|
|
uses: mheap/github-action-required-labels@v3
|
|
with:
|
|
mode: exactly
|
|
count: 0
|
|
labels: "do-not-merge"
|
|
|
|
- name: Require at least one label
|
|
uses: mheap/github-action-required-labels@v3
|
|
with:
|
|
mode: minimum
|
|
count: 1
|
|
labels: "ecolor, eframe, egui_extras, egui_glow, egui-wgpu, egui-winit, egui, epaint"
|