diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-06-19 10:21:33 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-06-19 10:22:51 +0200 |
| commit | efe7d36e64aae5f96fd2e75ceb841990e721f4af (patch) | |
| tree | 05bb1c15a6d6451846b2d95793ef7306b6bb19c7 /examples/random.scm | |
| parent | a11f7a4779f89d09dd50caf8f03894d80d55e20d (diff) | |
| download | cuirass-efe7d36e64aae5f96fd2e75ceb841990e721f4af.tar cuirass-efe7d36e64aae5f96fd2e75ceb841990e721f4af.tar.gz | |
http: Show number of builds.
* src/cuirass/database.scm (db-get-evaluation-summary): New procedure.
* src/cuirass/http.scm (url-handler): Display number of builds in tabs.
Diffstat (limited to 'examples/random.scm')
0 files changed, 0 insertions, 0 deletions