lecopivo/SciLean/Issues

update workflow

#43Pull RequestSeasawher 创建于 2024-09-01已合并

S

Seasawhercommented

how about using lean-action?

合并状态:已合并合并于 2024-09-02 关闭于 2024-09-02 1 条评论