From 6ef4d46490ef6f4235405cc5a5f6404ae26420bc Mon Sep 17 00:00:00 2001 From: eine Date: Fri, 24 Jul 2020 19:53:49 +0200 Subject: ci: fix synth_formal.dockerfile URL --- ci.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci.sh b/ci.sh index b15ed4d..17a480f 100755 --- a/ci.sh +++ b/ci.sh @@ -45,7 +45,7 @@ gend gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA" docker build -t ghdl/synth:formal --build-arg IMAGE='ghdl/synth:beta' . -f- <<-EOF -$(curl -fsSL https://github.com/ghdl/docker/raw/master/dockerfiles/synth_formal) +$(curl -fsSL https://github.com/ghdl/docker/raw/master/synth_formal.dockerfile) EOF gend "formal" -- cgit v1.2.3