From bec2043efe2c5bc13a1783e4de315263a2fd8bba Mon Sep 17 00:00:00 2001
From: S34N <12197162+S34NW@users.noreply.github.com>
Date: Fri, 17 May 2024 11:48:09 +0200
Subject: [PATCH] speed up OD lint CI significantly (#25505)

---
 tools/ci/run_od.sh   | 2 +-
 tools/ci/setup_od.sh | 7 ++-----
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/tools/ci/run_od.sh b/tools/ci/run_od.sh
index 61a27badde3..58842761a98 100755
--- a/tools/ci/run_od.sh
+++ b/tools/ci/run_od.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 set -eo pipefail
-dotnet OpenDream/bin/DMCompiler/DMCompiler.dll --suppress-unimplemented paradise.dme
+dotnet DMCompiler_linux-x64/DMCompiler.dll --suppress-unimplemented paradise.dme
diff --git a/tools/ci/setup_od.sh b/tools/ci/setup_od.sh
index aad45f2bc97..affc0833e2e 100755
--- a/tools/ci/setup_od.sh
+++ b/tools/ci/setup_od.sh
@@ -1,8 +1,5 @@
 #!/bin/bash
 set -eo pipefail
 
-git clone https://github.com/OpenDreamProject/OpenDream.git OpenDream
-cd OpenDream
-git submodule update --init --recursive
-dotnet restore
-dotnet build -c Release
+wget https://github.com/OpenDreamProject/OpenDream/releases/download/latest/DMCompiler_linux-x64.tar.gz
+tar -xf DMCompiler_linux-x64.tar.gz