Revert "Build maven in offline mode"

This reverts commit a641cce.
runtimeverification · Mar 13, 2024 · 3758375 · 3758375
1 parent a641cce
commit 3758375
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-tests.sh b/.github/workflows/ci-tests.sh
@@ -9,7 +9,7 @@ make -j$(nproc) install
 popd
 
 pushd matching
-mvn package --offline
+mvn package
 popd
 
 export PATH="$(realpath ./build/install/bin):$(realpath ./build/bin):/usr/lib/llvm-15/bin:$PATH"