mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-29 09:30:28 +02:00
pre_job will never skip something that is not skipped by pre_docs_job, so we can gate the build step by pre_docs_job to skip it when the two later jobs are both being skipped.