5 commits

Author	SHA1	Message	Date
三咲智子 Kevin Deng	a733fbba08	ci: add permissions for workflows	2023-01-13 19:54:59 +08:00
三咲智子	3468c13e75	ci: switch back to github actions	2023-01-04 23:37:19 +08:00
Anthony Fu	762a936793	ci: disable GitHub Actions	2022-12-14 11:06:39 +01:00
三咲智子	4214202b79	ci: add lint	2022-12-05 13:04:18 +08:00
Daniel Roe	408aff20ee	ci: test project on pull requests (#338)	2022-12-04 23:28:04 +00:00