Merge pull request #92 from mr-c/refresh_codege_ss_8.4.20230808163024

Refresh codegen using schema-salad 8.4.20230808163024
galaxyproject · Nov 6, 2023 · 785cd40 · 785cd40
2 parents da3ed63 + 8a027d6
commit 785cd40
Show file tree

Hide file tree

Showing 66 changed files with 519 additions and 578 deletions.
diff --git a/.github/workflows/publishdocs.yml b/.github/workflows/publishdocs.yml
@@ -11,7 +11,7 @@ jobs:
     - name: Set up Python
       uses: actions/setup-python@v1
       with:
-        python-version: '3.x'
+        python-version: '3.11'
     - name: Install dependencies
       run: |
         python -m pip install --upgrade pip

diff --git a/Makefile b/Makefile
@@ -130,3 +130,6 @@ release: release-local push-release ## package, review, and upload a release
 
 add-history: ## Reformat HISTORY.rst with data from Github's API
 	$(IN_VENV) python $(BUILD_SCRIPTS_DIR)/bootstrap_history.py $(ITEM)
+
+mypy:
+	MYPYPATH=mypy-stubs mypy gxformat2