fix: added timeout workflow (#15)

reilabs · Aug 30, 2023 · 85eb32f · 85eb32f
1 parent e6486ed
commit 85eb32f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,6 +5,7 @@ jobs:
   build:
     name: Build
     runs-on: ubuntu-latest
+    timeout-minutes: 600
     steps:
       - name: Checkout repo
         uses: actions/checkout@v3
@@ -18,4 +19,6 @@ jobs:
           path: lake-packages
           key: "${{ env.LAKE_VERSION }}"
       - name: Build project
-        run: ~/.elan/bin/lake build
+        run: |
+          ~/.elan/bin/lake exe cache get
+          ~/.elan/bin/lake build