2 commits

Author	SHA1	Message	Date
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