Compare commits

..

No commits in common. "5a51e805bce194634fcbe2453f1c47f4cca342af" and "bc56c4386b505f565f2bb4d6ae3e91dd731ee70d" have entirely different histories.

409 changed files with 1 additions and 6 deletions

View file

@ -4,7 +4,7 @@ pipeline:
pull: true
commands:
- git checkout -B ${CI_COMMIT_BRANCH}
- timeout 3500 bulk-compiler || true
- bulk-compiler || true
- git add built/ || true
- git add failed/ || true
- git config user.name Woodpecker

View file

@ -1 +0,0 @@
EXTRA_PKGS="sqlite-dev"

View file

@ -1 +0,0 @@
EXTRA_PKGS="sqlite-dev"

View file

@ -1 +0,0 @@
EXTRA_PKGS="sqlite-dev"

View file

@ -1 +0,0 @@
EXTRA_PKGS="sqlite-dev"

View file

@ -1 +0,0 @@
EXTRA_PKGS="sqlite-dev"

Some files were not shown because too many files have changed in this diff Show more