-
Notifications
You must be signed in to change notification settings - Fork 232
CI wishlist
Tahina Ramananandro (professional account) edited this page Mar 3, 2017
·
2 revisions
-
DONTBUILD***NO_CI***in the commit message doesn't trigger a rebuild - trigger other rebuilds; if F* is updated, double-check that Kremlin and mitls-fstar are not affected (This is taken care of by Project Everest)
- performance regressions over time with graphs
- regenerate hints
if the number of failed hints goes above a certain thresholdnightly - post build log to Slack as
an attachmenta link in case of a failure - ideally receive push notifications from GitHub instead of actively polling
- branches without a .travis.yml file are not built