CI

crytic · May 20, 2024 · 9709bbe · 9709bbe
1 parent 9fce63d
commit 9709bbe
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/lint_format.yml b/.github/workflows/lint_format.yml
@@ -13,6 +13,8 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
+        with:
+          submodules: true
 
       - name: Set up Node.js
         uses: actions/setup-node@v3

diff --git a/.github/workflows/lint_links.yml b/.github/workflows/lint_links.yml
@@ -24,3 +24,4 @@ jobs:
         with:
           use-quiet-mode: "yes"
           check-modified-files-only: ${{ (github.event_name == 'pull_request' && 'yes') || 'no' }}
+          submodules: true