mirror of
https://github.com/servo/servo.git
synced 2025-08-05 21:50:18 +01:00
Remove dead code for disabled CI tasks
This commit is contained in:
parent
0cd734fd7a
commit
0c10e3ab8e
2 changed files with 0 additions and 84 deletions
|
@ -56,9 +56,6 @@ decision_task.main("github-push")
|
|||
print("\n# Push with hot caches:")
|
||||
decision_task.main("github-push")
|
||||
|
||||
print("\n# Mocked only:")
|
||||
decision_task.mocked_only()
|
||||
|
||||
print("\n# Push to master:")
|
||||
decision_task.CONFIG.git_ref = "refs/heads/master"
|
||||
decision_task.main("github-push")
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue