Compare commits

..

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

View file

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