add support for 'requires new pip wheels'

and move Developer.md to htmlbook, since it's shared with manipulation
RussTedrake · Jan 3, 2025 · 1fb0d6f · 1fb0d6f
1 parent 28c9c10
commit 1fb0d6f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 119 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -129,6 +129,7 @@ jobs:
   docker:
     name: dockerfile
     runs-on: ubuntu-latest
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'requires new pip wheels') }}
     container: russtedrake/underactuated:latest
     steps:
       - name: checkout
@@ -154,6 +155,7 @@ jobs:
     # need to separate out testing requirements from notebook requirements.
     name: pip on jammy
     runs-on: ubuntu-22.04
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'requires new pip wheels') }}
     container: ubuntu:22.04
     steps:
       - name: pre-checkout setup

diff --git a/Developers.md b/Developers.md
diff --git a/book/htmlbook b/book/htmlbook
+112 −0		Developers.md
+2 −16		Init.ipynb
+4 −3		PoetryExport.sh
+47 −0		book_name.py
+55 −37		deepnote_check_notebooks.js
+3 −2		publish_to_deepnote.py
+0 −30		requirements.sh
+1 −1		workflows/ci/jammy/test
+1 −1		workflows/ci/jammy/test_w_installed_deps