Commit graph

4 commits

Author SHA1 Message Date
Josh Soref
29325c0ff9 infra/workflow: Use GitHub Step Summary
Unlike comments, Step Summaries do not require permissions.
2024-07-03 13:17:10 +09:00
Josh Soref
af0cb93836 infra/workflow: Only comment if there is output 2024-07-03 13:17:10 +09:00
Hermet Park
d694e6adef infra github: updated script
Specify the build option "all" for the future expansion.
2023-04-13 10:56:04 +09:00
JunsuChoi
e0c3fafb18
infra bot: Add Memcheck bot (AddressSanitizer)
If a leak occurs in the test result, the bot notifies the PR as a comment.
This notify may not be directly related to the created current PR.
2021-11-17 18:52:15 +09:00