fix: autograding

YingMuo · YingMuo · commit 5a48e21239eb · 2025-04-26T00:08:49.000+08:00
diff --git a/.github/workflows/lab-autograding.yml b/.github/workflows/lab-autograding.yml
@@ -45,7 +45,7 @@ jobs:
                       const files = await github.rest.pulls.listFiles({ owner, repo, pull_number: issue_number });
                       const changedFiles = files.data.map((file) => file.filename);
                       const allowedFileRegex = /^lab\d+\/main_test.js$/;
-                      const specialChangedFiles = ["lab0/lab0.js"];
+                      const specialChangedFiles = ["lab0/lab0.js", "lab5/antiasan.c"];
                       if (!changedFiles.every((file) => (allowedFileRegex.test(file) || specialChangedFiles.includes(file)))) {
                         core.setFailed('The PR contains changes to files other than the allowed files.');
                       }

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ jobs:`
`45`	`45`	`const files = await github.rest.pulls.listFiles({ owner, repo, pull_number: issue_number });`
`46`	`46`	`const changedFiles = files.data.map((file) => file.filename);`
`47`	`47`	`const allowedFileRegex = /^lab\d+\/main_test.js$/;`
`48`		`- const specialChangedFiles = ["lab0/lab0.js"];`
	`48`	`+ const specialChangedFiles = ["lab0/lab0.js", "lab5/antiasan.c"];`
`49`	`49`	`if (!changedFiles.every((file) => (allowedFileRegex.test(file) \|\| specialChangedFiles.includes(file)))) {`
`50`	`50`	`core.setFailed('The PR contains changes to files other than the allowed files.');`
`51`	`51`	`}`