9de949b3be
mason: various assorted improvements
...
- put disk usage in build report
- bump minimum disk space required before starting a build from 300mb to 1gb
- check repository consistency before pulling; if there are untracked files, or if the pull fails, blow away the repo and clone it again
2010-09-05 15:22:02 -07:00
95e1ea0135
mason.report: better benchmark timings
2009-11-20 18:20:45 -06:00
57127ec5ac
mason.report: put github link in build reports
2009-11-20 00:12:28 -06:00
312e86e19e
Bootstrap and mason now record times in nanoseconds
2009-11-19 23:50:30 -06:00
c779fccd4d
mason: use short host name not fully qualified host name
2009-05-21 19:19:12 -05:00
79de3d9833
webapps.mason: Now renders a download grid with links to build machine status and download pages
2009-05-21 19:15:04 -05:00
cfab937ce7
Working on webapps.mason
2009-05-21 00:08:43 -05:00
08db84fe42
mason.report: join lines with \n
2009-05-18 16:50:11 -05:00
b047ad7252
New mason.notify.server tool, and fix failure report
2009-05-13 18:19:30 -05:00
374c742cad
mason.report: Remove superfluous text
2009-05-08 21:33:49 -05:00
e4216cc4ba
Retry uploads etc up to 5 times so that we don't lose a good binary if network is flaky; put git id in subject
2009-05-08 00:41:42 -05:00
a776dffeb6
Split up tools.vocabs. Note that load-everything is now named load-all
2009-05-04 06:44:17 -05:00
f24bf51289
mason: some fixes
2009-04-25 16:52:23 -05:00
5649cc7a0a
Compiler warnings are no more
2009-04-23 22:17:25 -05:00
dff8f80ea6
mason.report: fix timings-table, and add unit tests
2009-04-20 03:29:16 -05:00
b5acfdcd64
mason: fix some bugs
2009-04-18 03:04:03 -05:00
af600d5aac
mason: working on a big overhaul of mason. Status updates sent to a web service, binary upload notification via Twitter
2009-04-17 20:59:59 -05:00
b579d32e5c
mason: send HTML e-mails; if benchmarks fail build fails
2009-04-17 17:55:33 -05:00
35a3170f42
Stack inference for mason
2009-03-21 03:43:38 -05:00
437d594982
Put compiler errors in build report
2008-11-16 13:46:45 -06:00
e38bc79e06
mason now generates HTML documentation using help.html
2008-11-16 11:29:35 -06:00
7c5dd13449
Mason: another type of builder
2008-09-15 23:20:33 -05:00
Slava Pestov
Slava Pestov
Slava Pestov