ci: use download_testlib_and_precompile

VNOI-Admin · Dec 30, 2023 · fa1c33b · fa1c33b
1 parent d48106e
commit fa1c33b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -90,10 +90,7 @@ jobs:
           unzip scratch-run.zip
           mv scratch-run /usr/bin/scratch-run
 
-          curl -L https://raw.githubusercontent.com/VNOI-Admin/testlib/master/testlib.h -o /usr/include/testlib.h
-          sed -i '/^#include <cstdio>/a#include <cstdint>' /usr/include/testlib.h
-          curl -L https://raw.githubusercontent.com/skyvn97/testlib/customized-testlib/testlib_themis_cms.h -o /usr/include/testlib_themis_cms.h
-          sed -i '/^#include <cstdio>/a#include <cstdint>' /usr/include/testlib_themis_cms.h
+          /code/.docker/download_testlib_and_precompile
 
           runuser -u judge -w PATH /code/run-su
           EOF