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

Godbolt link broken due to -pedantic #209

Closed
chiphogg opened this issue Dec 12, 2023 · 1 comment
Closed

Godbolt link broken due to -pedantic #209

chiphogg opened this issue Dec 12, 2023 · 1 comment
Labels
⬇️ affects: repo or tools Affects the non-library tools or the repository itself 📁 kind: bug Something isn't working correctly, or there's a mistake 💪 effort: tiny A trivial change

Comments

@chiphogg
Copy link
Contributor

Here is our canonical godbolt link: https://godbolt.org/z/KrvfhP4M3

Currently, we see this:

image

This was introduced in #207. It's easy to fix, but I want to make sure we would catch this kind of thing automatically in the future.
@chiphogg chiphogg added 📁 kind: bug Something isn't working correctly, or there's a mistake 💪 effort: tiny A trivial change ⬇️ affects: repo or tools Affects the non-library tools or the repository itself labels Dec 12, 2023
@chiphogg
Copy link
Contributor Author

Fixed by #210.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
⬇️ affects: repo or tools Affects the non-library tools or the repository itself 📁 kind: bug Something isn't working correctly, or there's a mistake 💪 effort: tiny A trivial change
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@chiphogg