Skip to content

docs: Update citations references with journal pubs through 2023-08 #913

docs: Update citations references with journal pubs through 2023-08

docs: Update citations references with journal pubs through 2023-08 #913

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