diff --git a/iris-bot b/iris-bot index da76fcd6aae2eb8c5f83c2a50d465e319d998bf3..75ed999f54a236c1f1dde3dbe795dee917a91a13 100755 --- a/iris-bot +++ b/iris-bot @@ -32,6 +32,7 @@ PROJECTS = { 'spygame': { 'name': 'spygame', 'branch': 'master' }, 'time-credits': { 'name': 'time-credits', 'branch': 'master' }, 'actris': { 'name': 'actris', 'branch': 'master' }, + 'simuliris': { 'name': 'simuliris', 'branch': 'master' }, 'tutorial-popl20': { 'name': 'tutorial-popl20', 'branch': 'master' }, 'tutorial-popl21': { 'name': 'tutorial-popl21', 'branch': 'master' }, }