{"push_id":593050485,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bd4f2ad6b87423fc3513d7aabf60510f2ac4345a","before":"56b2b8bd51db2d260adbe76657d508b1eee69c45","commits":[{"sha":"bd4f2ad6b87423fc3513d7aabf60510f2ac4345a","author":{"email":"df8d7249281c936074055d70c97f8ffd5191c1cf@gmail.com","name":"Arjun Guha"},"message":"Wow. Many headers. Much benchmarking.\n\nIn the compile-server, responses to the /compile request now have\nan X-Compile-Time header that measures compilation time excluding\nserialization time.\n\nFor example, if `frenetic compile-server` is already running.\n\n    $ time curl -X POST -i localhost:9000/compile --data-binary \"@fattree-10.json\" > out\n      % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current\n                                     Dload  Upload   Total   Spent    Left  Speed\n    100 21.6M  100 21.3M  100  327k  5423k  83190  0:00:04  0:00:04 --:--:-- 5424k\n\n    real  0m4.346s\n    user  0m0.008s\n    sys 0m0.415s\n    vagrant@frenetic:~/src/compilekat/benchmarks/fattree$ head -n 5 out\n    HTTP/1.1 200 OK\n    connection: keep-alive\n    content-length: 22379541\n    x-compile-time: 2.17072510719","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/bd4f2ad6b87423fc3513d7aabf60510f2ac4345a"}]}