3 commits

Author	SHA1	Message	Date
Shohei Ueda	0c7ad94c67	ci: remove options no longer needed	2020-11-23 13:45:25 +09:00
Shohei Ueda	da2d5466d3	chore: change default branch from master to main (#386)	2020-07-17 15:38:09 +09:00
Shohei Ueda	2fa902b35f	ci: add codeql workflow	2020-07-07 16:46:50 +09:00