diff options
| author | eine <eine@users.noreply.github.com> | 2020-07-24 19:53:49 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-07-24 19:53:49 +0200 |
| commit | 6ef4d46490ef6f4235405cc5a5f6404ae26420bc (patch) | |
| tree | ddde0e2c8316590da18f7b62e10c55d6da39da1e | |
| parent | 20f45f5644f82df437b09838a2fbdbfc7b6aa4e7 (diff) | |
| download | ghdl-yosys-plugin-6ef4d46490ef6f4235405cc5a5f6404ae26420bc.tar.gz ghdl-yosys-plugin-6ef4d46490ef6f4235405cc5a5f6404ae26420bc.tar.bz2 ghdl-yosys-plugin-6ef4d46490ef6f4235405cc5a5f6404ae26420bc.zip | |
ci: fix synth_formal.dockerfile URL
| -rwxr-xr-x | ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |