Merge branch 'main' into paper

Author: ntachukwu

.github/workflows/codeql-analysis.yml

@@ -18,11 +18,6 @@ jobs:
         # We must fetch at least the immediate parents so that if this is
         # a pull request then we can checkout the head.
         fetch-depth: 2
-
-    # If this run was triggered by a pull request event, then checkout
-    # the head of the pull request instead of the merge commit.
-    - run: git checkout HEAD^2
-      if: ${{ github.event_name == 'pull_request' }}
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL

mypy_requirements.txt

@@ -1,3 +1,3 @@
-mypy==0.931
+mypy==0.941
 types-requests
 types-setuptools

test-requirements.txt

@@ -1,4 +1,4 @@
-pytest >= 6.0.2, < 7.1
+pytest >= 6.0.2, < 7.2
 pytest-cov
 pytest-xdist
 cwltest