fix verilator install

SpinalHDL · Dec 27, 2024 · 7f7c754 · 7f7c754
1 parent 4053bcd
commit 7f7c754
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tools.sh b/.github/workflows/tools.sh
@@ -7,7 +7,7 @@
 install_verilator(){
   sudo apt-get update
   sudo apt install -y git make autoconf g++ flex libfl-dev bison  # First time prerequisites
-  git clone http://git.veripool.org/git/verilator   # Only first time
+  git clone https://github.com/verilator/verilator.git   # Only first time
   unset VERILATOR_ROOT  # For bash
   cd verilator
   git pull        # Make sure we're up-to-date