diff --git a/.github/workflows/apicula.yml b/.github/disabled/apicula.yml
similarity index 100%
rename from .github/workflows/apicula.yml
rename to .github/disabled/apicula.yml
diff --git a/.github/workflows/arachne-pnr.yml b/.github/disabled/arachne-pnr.yml
similarity index 100%
rename from .github/workflows/arachne-pnr.yml
rename to .github/disabled/arachne-pnr.yml
diff --git a/.github/workflows/base.yml b/.github/disabled/base.yml
similarity index 100%
rename from .github/workflows/base.yml
rename to .github/disabled/base.yml
diff --git a/.github/workflows/boolector.yml b/.github/disabled/boolector.yml
similarity index 100%
rename from .github/workflows/boolector.yml
rename to .github/disabled/boolector.yml
diff --git a/.github/workflows/conda.yml b/.github/disabled/conda.yml
similarity index 100%
rename from .github/workflows/conda.yml
rename to .github/disabled/conda.yml
diff --git a/.github/workflows/cvc.yml b/.github/disabled/cvc.yml
similarity index 100%
rename from .github/workflows/cvc.yml
rename to .github/disabled/cvc.yml
diff --git a/.github/workflows/dispatch.yml b/.github/disabled/dispatch.yml
similarity index 100%
rename from .github/workflows/dispatch.yml
rename to .github/disabled/dispatch.yml
diff --git a/.github/workflows/doc.yml b/.github/disabled/doc.yml
similarity index 100%
rename from .github/workflows/doc.yml
rename to .github/disabled/doc.yml
diff --git a/.github/workflows/f4pga.yml b/.github/disabled/f4pga.yml
similarity index 100%
rename from .github/workflows/f4pga.yml
rename to .github/disabled/f4pga.yml
diff --git a/.github/workflows/formal.yml b/.github/disabled/formal.yml
similarity index 100%
rename from .github/workflows/formal.yml
rename to .github/disabled/formal.yml
diff --git a/.github/workflows/ghdl-yosys-plugin.yml b/.github/disabled/ghdl-yosys-plugin.yml
similarity index 100%
rename from .github/workflows/ghdl-yosys-plugin.yml
rename to .github/disabled/ghdl-yosys-plugin.yml
diff --git a/.github/workflows/ghdl.yml b/.github/disabled/ghdl.yml
similarity index 100%
rename from .github/workflows/ghdl.yml
rename to .github/disabled/ghdl.yml
diff --git a/.github/workflows/gtkwave.yml b/.github/disabled/gtkwave.yml
similarity index 100%
rename from .github/workflows/gtkwave.yml
rename to .github/disabled/gtkwave.yml
diff --git a/.github/workflows/icestorm.yml b/.github/disabled/icestorm.yml
similarity index 100%
rename from .github/workflows/icestorm.yml
rename to .github/disabled/icestorm.yml
diff --git a/.github/workflows/impl.yml b/.github/disabled/impl.yml
similarity index 100%
rename from .github/workflows/impl.yml
rename to .github/disabled/impl.yml
diff --git a/.github/workflows/irsim.yml b/.github/disabled/irsim.yml
similarity index 100%
rename from .github/workflows/irsim.yml
rename to .github/disabled/irsim.yml
diff --git a/.github/workflows/iverilog.yml b/.github/disabled/iverilog.yml
similarity index 100%
rename from .github/workflows/iverilog.yml
rename to .github/disabled/iverilog.yml
diff --git a/.github/workflows/klayout.yml b/.github/disabled/klayout.yml
similarity index 100%
rename from .github/workflows/klayout.yml
rename to .github/disabled/klayout.yml
diff --git a/.github/workflows/magic.yml b/.github/disabled/magic.yml
similarity index 100%
rename from .github/workflows/magic.yml
rename to .github/disabled/magic.yml
diff --git a/.github/workflows/netgen.yml b/.github/disabled/netgen.yml
similarity index 100%
rename from .github/workflows/netgen.yml
rename to .github/disabled/netgen.yml
diff --git a/.github/workflows/nextpnr.yml b/.github/disabled/nextpnr.yml
similarity index 100%
rename from .github/workflows/nextpnr.yml
rename to .github/disabled/nextpnr.yml
diff --git a/.github/workflows/nvc.yml b/.github/disabled/nvc.yml
similarity index 100%
rename from .github/workflows/nvc.yml
rename to .github/disabled/nvc.yml
diff --git a/.github/workflows/openfpgaloader.yml b/.github/disabled/openfpgaloader.yml
similarity index 100%
rename from .github/workflows/openfpgaloader.yml
rename to .github/disabled/openfpgaloader.yml
diff --git a/.github/workflows/openroad.yml b/.github/disabled/openroad.yml
similarity index 100%
rename from .github/workflows/openroad.yml
rename to .github/disabled/openroad.yml
diff --git a/.github/workflows/pono.yml b/.github/disabled/pono.yml
similarity index 100%
rename from .github/workflows/pono.yml
rename to .github/disabled/pono.yml
diff --git a/.github/workflows/prjoxide.yml b/.github/disabled/prjoxide.yml
similarity index 100%
rename from .github/workflows/prjoxide.yml
rename to .github/disabled/prjoxide.yml
diff --git a/.github/workflows/prjtrellis.yml b/.github/disabled/prjtrellis.yml
similarity index 100%
rename from .github/workflows/prjtrellis.yml
rename to .github/disabled/prjtrellis.yml
diff --git a/.github/workflows/prog.yml b/.github/disabled/prog.yml
similarity index 100%
rename from .github/workflows/prog.yml
rename to .github/disabled/prog.yml
diff --git a/.github/workflows/superprove.yml b/.github/disabled/superprove.yml
similarity index 100%
rename from .github/workflows/superprove.yml
rename to .github/disabled/superprove.yml
diff --git a/.github/workflows/symbiyosys.yml b/.github/disabled/symbiyosys.yml
similarity index 100%
rename from .github/workflows/symbiyosys.yml
rename to .github/disabled/symbiyosys.yml
diff --git a/.github/workflows/verible.yml b/.github/disabled/verible.yml
similarity index 100%
rename from .github/workflows/verible.yml
rename to .github/disabled/verible.yml
diff --git a/.github/workflows/verilator.yml b/.github/disabled/verilator.yml
similarity index 100%
rename from .github/workflows/verilator.yml
rename to .github/disabled/verilator.yml
diff --git a/.github/workflows/vtr.yml b/.github/disabled/vtr.yml
similarity index 100%
rename from .github/workflows/vtr.yml
rename to .github/disabled/vtr.yml
diff --git a/.github/workflows/xschem.yml b/.github/disabled/xschem.yml
similarity index 100%
rename from .github/workflows/xschem.yml
rename to .github/disabled/xschem.yml
diff --git a/.github/workflows/xyce.yml b/.github/disabled/xyce.yml
similarity index 100%
rename from .github/workflows/xyce.yml
rename to .github/disabled/xyce.yml
diff --git a/.github/workflows/yices2.yml b/.github/disabled/yices2.yml
similarity index 100%
rename from .github/workflows/yices2.yml
rename to .github/disabled/yices2.yml
diff --git a/.github/workflows/yosys.yml b/.github/disabled/yosys.yml
similarity index 100%
rename from .github/workflows/yosys.yml
rename to .github/disabled/yosys.yml
diff --git a/.github/workflows/z3.yml b/.github/disabled/z3.yml
similarity index 100%
rename from .github/workflows/z3.yml
rename to .github/disabled/z3.yml