Continuous integration scripts The scripts in this directory are used by the workflows in ../../.github/workflows/.