Skip to content

Adds initial draft for build error debugging topic #82

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

vulder
Copy link
Collaborator

@vulder vulder commented Dec 22, 2022

resolves #92

Co-authored-by: JC van Winkel jcvw@google.com
Co-authored-by: Bogusław Cyganek cyganek@agh.edu.pl

@vulder vulder marked this pull request as ready for review May 12, 2024 09:03
@vulder vulder added the Tentatively ready Ready for a final review in SG20 label May 12, 2024
@vulder vulder requested a review from jcvw May 12, 2024 11:24
Copy link
Collaborator

@jcvw jcvw left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Contributor

@diehlpk diehlpk left a comment

Choose a reason for hiding this comment

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

LGTM!

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Tentatively ready Ready for a final review in SG20
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[TOPIC] Build-error debugging
3 participants