mirror of
https://github.com/servo/servo.git
synced 2025-08-05 21:50:18 +01:00
Upload to doc.servo.org when merging to master
This commit is contained in:
parent
a35d16a09c
commit
eb21ceaf98
4 changed files with 52 additions and 11 deletions
|
@ -31,7 +31,9 @@ class TaskclusterRestFailure(Exception):
|
|||
class Index:
|
||||
__init__ = insertTask = lambda *_, **__: None
|
||||
|
||||
def findTask(self, _):
|
||||
def findTask(self, path):
|
||||
if ".docs." in path:
|
||||
return {"taskId": ""}
|
||||
raise TaskclusterRestFailure
|
||||
|
||||
|
||||
|
@ -50,5 +52,9 @@ decision_task.main("github-push", mock=True)
|
|||
print("\n# Push with hot caches:")
|
||||
decision_task.main("github-push", mock=True)
|
||||
|
||||
print("\n# Push to master:")
|
||||
decision_task.CONFIG.git_ref = "refs/heads/master"
|
||||
decision_task.main("github-push", mock=True)
|
||||
|
||||
print("\n# Daily:")
|
||||
decision_task.main("daily", mock=True)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue