Merge remote-tracking branch 'origin/main' into publication

Azure Pipelines · Azure Pipelines · commit 2aeac22783a5 · 2024-07-23T22:19:31.000Z
diff --git a/.actions/assistant.py b/.actions/assistant.py
@@ -1,4 +1,5 @@
 import base64
+import json
 import os
 import re
 import warnings
@@ -10,7 +11,6 @@
 
 import fire
 import requests
-import simplejson as json
 import tqdm
 import yaml
 from pip._internal.operations import freeze
diff --git a/.actions/requires.txt b/.actions/requires.txt
@@ -1,6 +1,5 @@
 Fire
 tqdm
-simplejson
 PyYAML
 wcmatch
 requests
diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml
@@ -26,7 +26,8 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: publication
-      - name: Checkout 🛎️ PR
+          fetch-depth: 0
+      - name: Checkout 🛎️ PR [debugging]
         if: ${{ github.event_name == 'pull_request' }}
         uses: actions/checkout@v4
         with:

-Original file line number
+Diff line change
@@ @@ -1,6 +1,5 @@ @@
 Fire
 tqdm
 -simplejson
 PyYAML
 wcmatch
 requests