Switch to GitHub actions

#139Pull Requestwaywardmonkeys 创建于 2024-07-17

This is an early draft as some stuff needs fixing. It will depend on something like #137 and #138 landing.

合并状态:未合并关闭于 2024-08-02 5 条评论