Commit ecc2bcb0 authored by Michael Munch's avatar Michael Munch
Browse files

Disable formal

parent 017d69f5
Pipeline #26031 passed with stage
in 34 seconds
......@@ -6,10 +6,10 @@ vunit:
script:
- python3 run.py
formal:
stage: build
image: ghdl/synth:formal
script:
- export PATH="/opt/z3/z3/bin:$PATH"
- cd src
- sby --yosys "yosys -m ghdl" -f vme_cli_arb.sby
# formal:
# stage: build
# image: ghdl/synth:formal
# script:
# - export PATH="/opt/z3/z3/bin:$PATH"
# - cd src
# - sby --yosys "yosys -m ghdl" -f vme_cli_arb.sby
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment