Streamline CI workflows with --ci
option
#80
Merged
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.
This PR helps us for #49 by introducing an option
--ci
. The idea of this option is to skip redundant tests for a CI scenario, i.e. signatures and type promotion which (should) be covered by the primary tests, and meta tests.This makes the suite:
This PR is ready, but actually using
--ci
should wait until:generate_stubs.py
is updated to use this (a bit annoying right now, and we'll want to overhaul the file anyway after the RST conversion)