Skip to content

Suggestion for reducing Travis CI matrix #1706

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
chrisr-diffblue opened this issue Jan 8, 2018 · 1 comment
Closed

Suggestion for reducing Travis CI matrix #1706

chrisr-diffblue opened this issue Jan 8, 2018 · 1 comment

Comments

@chrisr-diffblue
Copy link
Contributor

chrisr-diffblue commented Jan 8, 2018 •
edited by tautschnig
Loading

In an email, @andreast271 suggested a possible reduced build matrix for travis that would still give us roughly the same coverage:

The current build configurations are:

OS Compiler Build System DEBUG defs Regression
linux gcc make   yes
osx gcc make   yes
osx clang make   yes
linux gcc make DEBUG no
linux clang make   yes
linux clang make DEBUG, no USE_DSTRING no
linux gcc cmake   yes
osx gcc cmake   yes

Andrea's suggested new build matrix:

OS Compiler Build System DEBUG defs Regression
linux gcc make   yes
osx gcc make   yes
linux clang make   yes
linux clang make DEBUG, no USE_DSTRING no
linux gcc cmake NDEBUG yes
osx clang cmake   yes
@chrisr-diffblue chrisr-diffblue mentioned this issue Feb 15, 2018
Merged
tautschnig added a commit to tautschnig/cbmc that referenced this issue Apr 12, 2018
@tautschnig
Move more Travis jobs to cron-only mode
42e64da 
Rarely used configuration options (aka preprocessor defines) that are not
generally used in production settings can safely be tested at cron-defined
intervals only rather than upon every PR/change to a PR.

The remaining non-cron builds are: {GCC, Clang} x {Linux, OS X} +
CMake/GCC/Linux.

Fixes: diffblue#1706
@tautschnig tautschnig mentioned this issue Apr 12, 2018
Closed
tautschnig added a commit to tautschnig/cbmc that referenced this issue Apr 12, 2018
@tautschnig
Move more Travis jobs to cron-only mode
a82f827 
Rarely used configuration options (aka preprocessor defines) that are not
generally used in production settings can safely be tested at cron-defined
intervals only rather than upon every PR/change to a PR.

The remaining non-cron builds are: {GCC, Clang} x {Linux, OS X} +
CMake/GCC/Linux.

Fixes: diffblue#1706
tautschnig added a commit to tautschnig/cbmc that referenced this issue Apr 12, 2018
@tautschnig
Move more Travis jobs to cron-only mode
73579ed 
Rarely used configuration options (aka preprocessor defines) that are not
generally used in production settings can safely be tested at cron-defined
intervals only rather than upon every PR/change to a PR.

The remaining non-cron builds are: {GCC, Clang} x {Linux, OS X} +
CMake/GCC/Linux.

Fixes: diffblue#1706
tautschnig added a commit to tautschnig/cbmc that referenced this issue Apr 12, 2018
@tautschnig
Move more Travis jobs to cron-only mode
d282ba4 
Rarely used configuration options (aka preprocessor defines) that are not
generally used in production settings can safely be tested at cron-defined
intervals only rather than upon every PR/change to a PR.

The remaining non-cron builds are: {GCC, Clang} x {Linux, OS X} +
CMake/GCC/Linux.

Fixes: diffblue#1706
tautschnig added a commit to tautschnig/cbmc that referenced this issue Jun 5, 2018
@tautschnig
Do not mix configuration options
beb960e 
Test configuration options in parallel rather than combining them to make
diagnosing problems easier. Don't squash the build matrix as diffblue#1706 suggested
earlier.

Fixes: diffblue#1706
tautschnig added a commit to tautschnig/cbmc that referenced this issue Jun 11, 2018
@tautschnig
Do not mix configuration options
2caa469 
Test configuration options in parallel rather than combining them to make
diagnosing problems easier. Don't squash the build matrix as diffblue#1706 suggested
earlier.

Fixes: diffblue#1706
@chrisr-diffblue
Copy link
Contributor Author

No longer using travis for CI (several generations old!)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@chrisr-diffblue