feat(cmd/joj3): show run ID in issue body

cmd/joj3/main.go

@@ -87,7 +87,7 @@ func mainImpl() error {
 		slog.Error("stage write", "error", err)
 		return err
 	}
-	if err := teapot.Run(confObj); err != nil {
+	if err := teapot.Run(confObj, runID); err != nil {
 		slog.Error("teapot run", "error", err)
 		return err
 	}

cmd/joj3/teapot/run.go

@@ -13,7 +13,7 @@ import (
 	"github.com/joint-online-judge/JOJ3/cmd/joj3/conf"
 )
 
-func Run(conf *conf.Conf) error {
+func Run(conf *conf.Conf, runID string) error {
 	os.Setenv("LOG_FILE_PATH", conf.Teapot.LogPath)
 	os.Setenv("_TYPER_STANDARD_TRACEBACK", "1")
 	sha := os.Getenv("GITHUB_SHA")
@@ -78,7 +78,7 @@ func Run(conf *conf.Conf) error {
 		"joj3-all", conf.Teapot.EnvFilePath, conf.Stage.OutputPath, actor,
 		conf.Teapot.GradingRepoName, repoName, runNumber,
 		conf.Teapot.ScoreboardPath, conf.Teapot.FailedTablePath,
-		conf.Name, sha, skipIssueArg, skipScoreboardArg,
+		conf.Name, sha, runID, skipIssueArg, skipScoreboardArg,
 		skipFailedTableArg, submitterInIssueTitleArg,
 	}); err != nil {
 		slog.Error("teapot exit", "error", err)

examples/healthcheck/repoverify

@@ -1 +1 @@
-Subproject commit 5f1ed50ab5544600c58d2c505f82a41c507bbf6e
+Subproject commit e4fa4be52f18872e0c24cb03fc3b879d68aca916