Philip Chimento c73968aaaf Migrate test generation workflow to GitHub Actions ...

This runs faster and allows for future improvements.

Similar to the linter workflow, we remove the Circle-CI-specific stuff
from the file in tools/scripts/, and into .github/workflows/.

We use another external action (tj-actions/verify-changed-files) to check
that generating the tests didn't create any new changes. This is basically
a companion action to the tj-actions/changed-files used in the linter job.

2024-11-11 16:48:38 -08:00

..

ci_build.sh

Migrate test generation workflow to GitHub Actions

2024-11-11 16:48:38 -08:00

ci_test.sh

CI: Do not report test failures as errors

2021-05-28 18:06:58 -04:00