Closed barton0426 closed 4 years ago
fork的lean的库,在lean有更新,commit部分领先部分落后的情况下,观察了几天了,merge定时运行后,无法触发ci自动编译
on: pull_request: types: [synchronize] branches:
如果你想在merge lean代码是才触发打包的话 将ci的on改成这个
github bot 的提交不会触发工作流程.
fork的lean的库,在lean有更新,commit部分领先部分落后的情况下,观察了几天了,merge定时运行后,无法触发ci自动编译