ci: move scripts from '.github/gha' and '.github/travis' into '.github/scripts'#1804

Merged

vaughnbetz merged 3 commits intoverilog-to-routing:masterfrom

umarcor:ci-scripts

Jul 30, 2021

Commits on Jul 18, 2021