diff options
author | allexzander <allexzander@users.noreply.github.com> | 2022-06-29 22:11:15 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-29 22:11:15 +0300 |
commit | 24d5f52510ef839a60252f5e6e453d7ed6eae444 (patch) | |
tree | 37b2f2b3a4c3a0b59d27a77050e3cc5fccd6d373 | |
parent | c748d3cdb0879d3390c15b4f8a437b050e619e85 (diff) | |
parent | 3630ae6ddd564e849387c62794afa2b5ebbe5ed9 (diff) |
Merge pull request #4682 from nextcloud/bugfix/windows-ci-craft-revision
Windows CI. Use specific Craft revision.
-rw-r--r-- | craftmaster.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/craftmaster.ini b/craftmaster.ini index 3a37a56d1..90b0e6e56 100644 --- a/craftmaster.ini +++ b/craftmaster.ini @@ -1,6 +1,7 @@ [General] Branch = master ShallowClone = True +CraftUrl = https://github.com/allexzander/craft.git # Variables defined here override the default value # The variable names are casesensitive |