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
|
pull: true
|
||||||
commands:
|
commands:
|
||||||
- git checkout -B ${CI_COMMIT_BRANCH}
|
- git checkout -B ${CI_COMMIT_BRANCH}
|
||||||
- bulk-compiler || true
|
- timeout 3500 bulk-compiler || true
|
||||||
- git add built/ || true
|
- git add built/ || true
|
||||||
- git add failed/ || true
|
- git add failed/ || true
|
||||||
- git config user.name Woodpecker
|
- git config user.name Woodpecker
|
||||||
|
|
Loading…
Reference in a new issue