Skip to content

Conversation

bmcutler
Copy link
Member

@bmcutler bmcutler commented Jun 5, 2025

test case level update for compilation test

@bmcutler bmcutler merged commit 3d72938 into main Jun 5, 2025
2 checks passed
@github-project-automation github-project-automation bot moved this to Seeking Reviewer in Submitty Development Jun 5, 2025
@bmcutler bmcutler deleted the bugfix_12 branch June 5, 2025 21:55
@github-project-automation github-project-automation bot moved this from Seeking Reviewer to Done in Submitty Development Jun 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant