chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bump doc deps and restrict lint workflow permissions

Browse Source
This commit is contained in:
Kevin Zakka
2026-06-11 17:49:28 -07:00
parent a070535c65
commit 426aecc4bc
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/lint.yml
+3
View File
@@ -4,6 +4,9 @@ name: lint
on: on:
pull_request: pull_request:
permissions:
contents: read
jobs: jobs:
pre-commit: pre-commit:
name: pre-commit name: pre-commit
doc/requirements.txt
+2 -2
View File
@@ -10,9 +10,9 @@ sphinx-reredirects==0.1.1
sphinx-toolbox==3.8.2 sphinx-toolbox==3.8.2
nbsphinx==0.9.1 nbsphinx==0.9.1
pandoc==1.1.0 pandoc==1.1.0
pygments==2.19.2 pygments==2.20.0
jq==1.8.0 jq==1.8.0
Jinja2==3.1.6 Jinja2==3.1.6
wheel==0.45.1 wheel==0.46.2
# see https://github.com/aws/aws-sam-cli/issues/3661 regarding markupsafe # see https://github.com/aws/aws-sam-cli/issues/3661 regarding markupsafe
markupsafe==2.0.1 markupsafe==2.0.1