Throwaway: English comments trial (do not merge) #213

Closed
Tirsvad wants to merge 7 commits from verify-english-comments into main
7 Commits
Author SHA1 Message Date
Tirsvad ac65e9c7fb Throwaway: a Malay comment again, to see the link of the run
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 59s
English comments / english-comments (pull_request) Failing after 30s
Verify English comments / english-comments (pull_request) Failing after 30s
Refs #204
2026-10-21 10:34:12 +08:00
Tirsvad ccffc5b68f Throwaway: both comments rewritten in English
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 54s
English comments / english-comments (pull_request) Successful in 27s
Verify English comments / english-comments (pull_request) Successful in 27s
Refs #204
2026-10-21 10:32:22 +08:00
Tirsvad 03b8ef5c06 Throwaway: another Danish comment, to see the comment updated
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 58s
English comments / english-comments (pull_request) Failing after 29s
Verify English comments / english-comments (pull_request) Failing after 29s
Refs #204
2026-10-21 10:29:27 +08:00
Tirsvad 93def5746b Throwaway: call the fix branch of english-comments
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 58s
English comments / english-comments (pull_request) Failing after 28s
Verify English comments / english-comments (pull_request) Failing after 28s
Refs #204
2026-10-21 10:26:28 +08:00
Tirsvad e9bb6b6bf9 Throwaway: try other conditions for a pull request
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 1m3s
Verify English comments / english-comments (pull_request) Failing after 28s
Verify English comments / debug (pull_request) Successful in 4s
English comments / english-comments (pull_request) Failing after 28s
Debug contexts / debug (pull_request) Successful in 4s
Refs #204
2026-10-21 10:24:16 +08:00
Tirsvad 33fd243204 Throwaway: print the contexts of a called workflow
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 55s
English comments / english-comments (pull_request) Failing after 30s
Verify English comments / english-comments (pull_request) Failing after 30s
Debug contexts / debug (pull_request) Successful in 3s
Verify English comments / debug (pull_request) Successful in 3s
Refs #204
2026-10-21 10:22:03 +08:00
Tirsvad c0a0ccc131 Throwaway: sample with Danish and Malay comments, and a caller of english-comments
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Failing after 58s
English comments / english-comments (pull_request) Failing after 29s
Verify English comments / english-comments (pull_request) Failing after 29s
Refs #204
2026-10-21 10:14:57 +08:00