chore: upgrade odin

hanabi1224 · Feb 8, 2023 · 51bf5e4 · 51bf5e4
1 parent c7c13cf
commit 51bf5e4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/odin.sh b/.github/odin.sh
@@ -1,11 +1,11 @@
 #!/usr/bin/sh
 
-VERSION=dev-2023-01
+VERSION=dev-2023-02
 FILE_NAME=odin-ubuntu-amd64-$VERSION.zip
-
+apt-get install -y aria2
 mkdir /tmp/odin
 cd /tmp/odin
-wget https://github.com/odin-lang/Odin/releases/download/$VERSION/$FILE_NAME
+aria2c -c -o $FILE_NAME https://github.com/odin-lang/Odin/releases/download/$VERSION/$FILE_NAME
 unzip -o $FILE_NAME
 sudo chmod +x $PWD/odin
 sudo ln -sf $PWD/odin /usr/bin/odin

diff --git a/bench/bench_luajit.yaml b/bench/bench_luajit.yaml
@@ -17,7 +17,7 @@ problems:
       - 1.lua
   - name: coro-prime-sieve
     source:
-      - 1.lua
+      # - 1.lua
 compiler_version_command:
 compiler_version_regex:
 runtime_version_parameter: -v