ci: Fix developer_productivity push error

nicholasbishop · nicholasbishop · commit 22bdccd376b3 · 2023-06-10T19:51:47.000-04:00
diff --git a/.github/workflows/developer_productivity.yml b/.github/workflows/developer_productivity.yml
@@ -12,6 +12,8 @@ jobs:
     outputs:
       nix-src: ${{ steps.filter.outputs.nix-src }}
     steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
       - uses: dorny/paths-filter@v2
         id: filter
         with:
