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

[Chore] Fix CI #24

Merged
merged 2 commits into from
Aug 31, 2024
Merged

[Chore] Fix CI #24

merged 2 commits into from
Aug 31, 2024

Conversation

lierdakil
Copy link
Collaborator

@lierdakil lierdakil commented Aug 31, 2024

Problem: weeder updated and now doesn't find hie files automatically

Solution: specify the directory to search in

@lierdakil lierdakil force-pushed the lierdakil/temp-debug-ci branch from f07c526 to 515b7c9 Compare August 31, 2024 05:20
Problem: GHC 9.4 is quite outdated. No sense burning CPU cycles testing
for it.

Solution: remove lts-21 and GHC 9.4 from testing.
Problem: weeder updated and now doesn't find hie files automatically

Solution: specify the directory to search in
@lierdakil lierdakil force-pushed the lierdakil/temp-debug-ci branch from 515b7c9 to c5458ef Compare August 31, 2024 05:28
@lierdakil lierdakil changed the title [tmp] Debug CI [Chore] Fix CI Aug 31, 2024
@lierdakil lierdakil marked this pull request as ready for review August 31, 2024 05:28
@lierdakil lierdakil enabled auto-merge August 31, 2024 05:30
@lierdakil lierdakil merged commit 5f78913 into master Aug 31, 2024
15 checks passed
@lierdakil lierdakil deleted the lierdakil/temp-debug-ci branch August 31, 2024 05:33
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.

1 participant