Skip to content

chore: [pre-commit.ci] pre-commit autoupdate #903

chore: [pre-commit.ci] pre-commit autoupdate

chore: [pre-commit.ci] pre-commit autoupdate #903

Workflow file for this run

name: Merged PR
on:
pull_request:
types: [closed]
workflow_dispatch:
jobs:
binder:
name: Trigger Binder build
runs-on: ubuntu-latest
if: github.event.pull_request.merged
steps:
- uses: actions/checkout@v4
- name: Trigger Binder build
run: |
# Use Binder build API to trigger repo2docker to build image on Google Cloud and Turing Institute Binder Federation clusters
bash binder/trigger_binder.sh https://turing.mybinder.org/build/gh/scikit-hep/pyhf/main