Skip to content

Conversation

vulder
Copy link
Member

@vulder vulder commented May 12, 2024

resolves #22

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

Co-authored-by: JC van Winkel <jcvw@google.com>
Co-authored-by: Bogusław Cyganek <cyganek@agh.edu.pl>
@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:23
@vulder vulder changed the title Adds initial draft for run-time error debugging topic Adds initial draft for compile-time error debugging topic May 12, 2024
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

@vulder vulder added SG20-reviewed Reviewed by a SG20 meeting, ready to be merged after comment resolution. and removed Tentatively ready Ready for a final review in SG20 labels Apr 14, 2025
@vulder vulder merged commit c773633 into master Apr 14, 2025
4 checks passed
@vulder vulder deleted the compile-time_errors branch April 14, 2025 19:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
SG20-reviewed Reviewed by a SG20 meeting, ready to be merged after comment resolution.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[TOPIC] compile-time debugging
2 participants