Skip to content
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.

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

Fix two minor CI artifact issues discovered during SAW 1.0 release #1885

Merged
merged 3 commits into from
Jun 30, 2023

Conversation

RyanGlScott
Copy link
Contributor

@RyanGlScott RyanGlScott commented Jun 28, 2023

CI: Pin to windows-2019 instead of windows-latest

It is worthwhile to pin the version number explicitly since:

  1. The windows-latest alias could change at any time, so pinning the version avoids unwanted breakages that arise from new OS versions.

  2. The name "windows-latest" leaks into bindist names, which doesn't look as nice as using the name "windows-2019".

We use windows-2019 instead of windows-2022 for now, since that is what what4-solvers currently uses.

CI: Put solver bindists in separate artifact from non-solver bindists

Fixes #1884.

@RyanGlScott RyanGlScott requested a review from kquick June 28, 2023 16:57
It is worthwhile to pin the version number explicitly since:

1. The `windows-latest` alias could change at any time, so pinning the version
   avoids unwanted breakages that arise from new OS versions.

2. The name "`windows-latest`" leaks into bindist names, which doesn't look as
   nice as using the name "`windows-2019`".

We use `windows-2019` instead of `windows-2022` for now, since that is what
`what4-solvers` currently uses.
@RyanGlScott
Copy link
Contributor Author

The artifacts look much better now:

saw-script

@RyanGlScott RyanGlScott added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label Jun 30, 2023
@mergify mergify bot merged commit 4a695fb into master Jun 30, 2023
@mergify mergify bot deleted the T1884 branch June 30, 2023 20:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Put solver bindists into different artifacts than non-solver bindists
2 participants