update

the-benchmarker · Dec 8, 2024 · bc92948 · bc92948
1 parent b76bcbc
commit bc92948
Show file tree

Hide file tree

Showing 3 changed files with 4,975 additions and 10 deletions.
diff --git a/c/kore/config.yaml b/c/kore/config.yaml
@@ -3,12 +3,12 @@ language:
 
 framework:
   website: kore.io
-  version: 3.3
+  version: 4.2
 
   download:
-    - wget --no-check-certificate -c https://github.com/jorisvink/kore/archive/3.3.1-release.tar.gz
-    - tar -xvf 3.3.1-release.tar.gz
-    - cd kore-3.3.1-release && TASKS=1 NOTLS=1 make && make install
+    - wget --no-check-certificate -c https://kore.io/releases/kore-4.2.3.tar.gz
+    - tar -xvf kore-4.2.3.tar.gz
+    - cd kore-4.2.3 && TASKS=1 NOTLS=1 make && make install
 
   build:
     - cd hello && kodev build