Skip to content
Pull Request Checkboxes

Add utility to rr.components.Color to generate colors from any string (and use it in the air traffic data example) #23858

Sign in to view logs

Add utility to rr.components.Color to generate colors from any string (and use it in the air traffic data example)

Add utility to rr.components.Color to generate colors from any string (and use it in the air traffic data example) #23858

Workflow file for this run

.github/workflows/checkboxes.yml at ba4f0d4
# Checks that all checkboxes in a PR are checked
name: Pull Request Checkboxes
on:
pull_request_target:
types:
- opened
- synchronize
- reopened
- edited
concurrency:
group: ${{ github.event.pull_request.number }}-pr-checkboxes
cancel-in-progress: true
defaults:
run:
shell: bash
permissions:
contents: "read"
pull-requests: "read"
jobs:
pr-checkboxes:
name: Check PR checkboxes
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- uses: prefix-dev/setup-pixi@v0.8.1
with:
pixi-version: v0.39.0
- name: Check PR checkboxes
run: |
pixi run ./scripts/ci/check_pr_checkboxes.py \
--github-token ${{ secrets.GITHUB_TOKEN }} \
--github-repository ${{ github.repository }} \
--pr-number ${{ github.event.pull_request.number }}