Fix CI bugs

HigherOrderCO · May 19, 2024 · 3e1b948 · 3e1b948
1 parent 0d51264
commit 3e1b948
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -18,6 +18,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@nightly
+      - run: rustup component add clippy
       - uses: Swatinem/rust-cache@v2
         with:
           # To only cache runs from `master`:
@@ -27,7 +28,7 @@ jobs:
         with:
           cuda: '12.4.1'
           method: 'network'
-          sub-packages: '["nvcc"]'
+          sub-packages: '[ "nvcc", "cudart", "cudart-dev", "nvrtc", "nvrtc-dev" ]'
         if: matrix.os != 'macOS-latest'
 
       - name: Clippy Check

diff --git a/src/hvm.c b/src/hvm.c
@@ -5,6 +5,7 @@
 #include <threads.h>
 #else
 #include <pthread.h>
+#include <time.h>
 typedef pthread_t thrd_t;
 typedef void* thrd_start_t;
 #define thrd_create(a, b, c) pthread_create(a, NULL, b, c)