Split Binder launch variants into different steps

lbianchi-lbl · Feb 20, 2024 · 82aefc7 · 82aefc7
1 parent 5a261d2
commit 82aefc7
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/check-submission.yml b/.github/workflows/check-submission.yml
@@ -128,12 +128,22 @@ jobs:
 
           EOF
 
-      - name: Notify build success
-        if: ${{ needs.repo2docker-build.result == 'success' }}
+      - name: Notify build success (no Binder cache)
+        if:  needs.repo2docker-build.result == 'success' && !inputs.binder-cache-branch
         run: |
           cat << 'EOF' >> $GITHUB_STEP_SUMMARY
           The CI build was successful for ${{ inputs.repository }}@${{ inputs.ref }}!
 
           [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${{ inputs.repository }}/${{ inputs.ref}}) :point_left: Launch a binder notebook on this branch
 
           EOF
+
+      - name: Notify build success (Binder cache)
+        if: needs.repo2docker-build.result == 'success' && inputs.binder-cache-branch
+        run: |
+          cat << 'EOF' >> $GITHUB_STEP_SUMMARY
+          The CI build was successful for ${{ inputs.repository }}@${{ inputs.ref }}!
+
+          [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${{ inputs.repository }}/${{ inputs.binder-cache-branch }}) :point_left: Launch a binder notebook from the `${{ inputs.binder-cache-branch }}` branch
+
+          EOF