Skip to content

[Bugfix:Autograding] update system call categories#48

Merged
bmcutler merged 1 commit into
mainfrom
update_system_calls
Jun 5, 2025
Merged

[Bugfix:Autograding] update system call categories#48
bmcutler merged 1 commit into
mainfrom
update_system_calls

Conversation

@bmcutler

@bmcutler bmcutler commented Jun 5, 2025

Copy link
Copy Markdown
Member

No description provided.

@github-project-automation github-project-automation Bot moved this to Seeking Reviewer in Submitty Development Jun 5, 2025
@bmcutler bmcutler merged commit b9a7074 into main Jun 5, 2025
2 checks passed
@bmcutler bmcutler deleted the update_system_calls branch June 5, 2025 14:02
@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