8000 Re #7081: add build with debug-{serialisation,parsing} flags to cabal CI by andreasabel · Pull Request #7092 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Re #7081: add build with debug-{serialisation,parsing} flags to cabal CI #7092

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
Merged
merged 2 commits into from
Feb 7, 2024
Merged

Re #7081: add build with debug-{serialisation,parsing} flags to cabal CI #7092

merged 2 commits into from
Feb 7, 2024

Conversation

andreasabel
Copy link
Member
  • add build with debug-{serialisation,parsing} flags to cabal CI
  • allow `ansi-terminal-1.1``

Closes #7081

@andreasabel andreasabel added the infra: github workflows Issues related to GitHub workflows and actions (not in changelog) label Feb 7, 2024
@andreasabel andreasabel added this to the 2.6.4.2 milestone Feb 7, 2024
@andreasabel andreasabel self-assigned this Feb 7, 2024
@andreasabel andreasabel merged commit 34ada52 into master Feb 7, 2024
@andreasabel andreasabel deleted the flag-debug-serialisation branch February 7, 2024 10:27
@andreasabel
Copy link
Member Author

Note for myself: backport to 2.6.4.2: 9ee100e and 34ada52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@UlfNorell UlfNorell UlfNorell approved these changes

Assignees

@andreasabel andreasabel

Labels
infra: github workflows Issues related to GitHub workflows and actions (not in changelog)
Projects
None yet
Milestone
2.6.4.2
Development

Successfully merging this pull request may close these issues.

Missing IsString instance with debug flags enabled
2 participants
@andreasabel @UlfNorell
0