Skip to content

chore: Speed up pyhf CLI API execution for Docker users #1028

chore: Speed up pyhf CLI API execution for Docker users

chore: Speed up pyhf CLI API execution for Docker users #1028

Workflow file for this run

name: Merged PR
on:
pull_request:
types: [closed]
workflow_dispatch:
permissions:
contents: read
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