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.

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

[debug windows ci problem] #424

Closed
wants to merge 5 commits into from
Closed

[debug windows ci problem] #424

wants to merge 5 commits into from

Conversation

ejgallego
Copy link
Owner

No description provided.

@ejgallego ejgallego force-pushed the tmp_win_try branch 4 times, most recently from 4a67a41 to 1f9a913 Compare February 23, 2023 02:19
@ejgallego
Copy link
Owner Author

ejgallego commented Feb 23, 2023 •
edited
Loading

Tests did run fine in my setup with Coq Platform, so umm, that's gonna be a tough one to debug as I can't reproduce locally.

@ejgallego ejgallego force-pushed the tmp_win_try branch 3 times, most recently from 7c1278c to 6d29e7e Compare February 23, 2023 23:26
@ejgallego ejgallego added this to the 0.1.8 milestone Jul 7, 2023
@ejgallego ejgallego force-pushed the tmp_win_try branch 2 times, most recently from d395153 to 0892995 Compare September 26, 2023 15:35
ejgallego added a commit that referenced this pull request Sep 26, 2023
@ejgallego
[ci] Fix test suite on Windows
384aa0c 
Reverts #423 , the problem was due to us executing the tests
natively from the Windows Powershell (as we want things to run),
however we did set the path to a Cygwin-style one which didn't work
from Powershell.

Closes #424 cc: #1 #481
@ejgallego ejgallego mentioned this pull request Sep 26, 2023
Merged
@ejgallego ejgallego deleted the tmp_win_try branch September 26, 2023 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
0.1.8
Development

Successfully merging this pull request may close these issues.
1 participant
@ejgallego