Skip to content

New example and tutorial showing how to create a live scrolling plot #6411

New example and tutorial showing how to create a live scrolling plot

New example and tutorial showing how to create a live scrolling plot #6411

# Jobs that only run for external contributors.
# These have to be carefully sanitized, we don't want to leak secrets.
name: Pull-Request-Target (Contrib)
on:
# This will run workflows triggered by a pull request from the _base_ branch.
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
pull_request_target:
types:
- opened
- synchronize
defaults:
run:
shell: bash
permissions:
contents: "read"
pull-requests: "write" # Updates PR body
jobs:
update-pr-body:
name: Update PR body
if: github.event.pull_request.head.repo.owner.login != 'rerun-io'
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- uses: prefix-dev/setup-pixi@v0.6.0
with:
pixi-version: v0.20.0
- name: Update PR description
run: |
pixi run ./scripts/ci/update_pr_body.py \
--github-token '${{ secrets.GITHUB_TOKEN }}' \
--github-repository '${{ github.repository }}' \
--pr-number '${{ github.event.pull_request.number }}'