Compare commits
No commits in common. "3872438e1ee1361b80281b4afe655e90cb0cf672" and "044841acc0dd11feabfb2f1ea9e923b787061673" have entirely different histories.
3872438e1e
...
044841acc0
1 changed files with 1 additions and 1 deletions
|
@ -4,7 +4,7 @@ pipeline:
|
|||
pull: true
|
||||
commands:
|
||||
- git checkout -B ${CI_COMMIT_BRANCH}
|
||||
- bulk-compiler || true
|
||||
- timeout 3500 bulk-compiler || true
|
||||
- git add built/ || true
|
||||
- git add failed/ || true
|
||||
- git config user.name Woodpecker
|
||||
|
|
Loading…
Reference in a new issue