tab

dthain · May 20, 2024 · 9b3ab32 · 9b3ab32
1 parent fcc94a4
commit 9b3ab32
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -32,7 +32,7 @@ jobs:
     steps:
       - name: checkout CCTools from branch head
         if: github.event_name != 'workflow_dispatch'
-        uses: actions/checkout@v3
+	uses: actions/checkout@v3
       - name: checkout CCTools from tag
         if: github.event_name == 'workflow_dispatch'
 	uses: actions/checkout@v3