Compare commits

..

No commits in common. "3872438e1ee1361b80281b4afe655e90cb0cf672" and "044841acc0dd11feabfb2f1ea9e923b787061673" have entirely different histories.

View file

@ -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