Move DocC and integration tests into separate CI pipelines #110
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
Like many other projects, we have a soundness script which runs in CI. It started out with some fast policy and style tests but has grown over time. It currently has:
On my machine, (5) takes 19s and (6) takes 1m13s.
The soundness script should be cheap to run so as not to disclosure running it often—potentially even adding it to a precommit hook.
Removing (5) and (6) from the soundness suite means it takes 3s, which is more reasonable.
Modifications
integration-test
to Compose file.docc-test
to Compose file.soundness.sh
.Result
Running
soundness.sh
takes 3s (was ~1m30s).Test Plan
The following commands all succeed when run locally:
./scripts/soundness.sh
docker-compose -f docker/docker-compose.yaml run soundness
docker-compose -f docker/docker-compose.yaml run docc-test
docker-compose -f docker/docker-compose.yaml run integration-test
Notes
This PR should be used to stand up the new CI pipelines and shouldn't be merged
until we see them passing.