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 |
|