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 Windows CI #4650

Merged
merged 1 commit into from
Nov 24, 2022
Merged

Fix Windows CI #4650

merged 1 commit into from
Nov 24, 2022

Conversation

newhoggy
Copy link
Contributor

No description provided.

@newhoggy newhoggy force-pushed the newhoggy/fix-windows-ci branch 7 times, most recently from 2f24094 to 1ac41e8 Compare November 21, 2022 05:02
@angerman angerman mentioned this pull request Nov 21, 2022
@newhoggy newhoggy force-pushed the newhoggy/fix-windows-ci branch 15 times, most recently from 397afa7 to 19b241c Compare November 21, 2022 11:52
@angerman angerman mentioned this pull request Nov 22, 2022
@angerman angerman marked this pull request as ready for review November 22, 2022 21:54
@angerman angerman requested review from Jimbo4350 and a team as code owners November 22, 2022 21:54
@angerman angerman force-pushed the newhoggy/fix-windows-ci branch 2 times, most recently from 3732d27 to 2766023 Compare November 24, 2022 03:47
- Re-enabling mate on failure
- Use windows default shell
- split up win setup
- harmonize ghc install
- tmate on failure only
- PKG_CONFIG_PATH mutilation on unixy things only with export
- fix cache store path.
- missing env var
- Add openssl to windows
- be more declarative
- Add LD_LIBRARY_PATH during the build.
Copy link
Contributor

@angerman angerman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewing my own commit? LGTM!

@angerman
Copy link
Contributor

bors try

iohk-bors bot added a commit that referenced this pull request Nov 24, 2022
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 24, 2022

try

Timed out.

@angerman
Copy link
Contributor

bors try

iohk-bors bot added a commit that referenced this pull request Nov 24, 2022
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 24, 2022

try

Build succeeded:

@newhoggy
Copy link
Contributor Author

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 24, 2022

Build succeeded:

@iohk-bors iohk-bors bot merged commit 2a82e46 into master Nov 24, 2022
@iohk-bors iohk-bors bot deleted the newhoggy/fix-windows-ci branch November 24, 2022 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants