Started by timer
[Mon Feb 24 20:49:00 CST 2020] Starting branch indexing...
20:49:00 Connecting to https://api.github.com using dwightguth/****** (GitHub Access Token)
Getting remote branches...
Checking branch master
Getting remote pull requests...
No changes detected: master (still at 68ddadbe069d079ea560bcc28ee88f0cf5200442)
Checking branch T-context-sens-coverage
Checking branch _update-deps_deps_k
Checking branch bounds-check
Checking branch gh-pages
Checking branch v0.10.1
6 branches were processed
Checking pull request #145
No changes detected: PR-145 (still at 679ffa812ee9d63c4302a00dc313a17d2403b13d)
Checking pull request #144
No changes detected: PR-144 (still at 6e17d9b56e05d918491672c0c133dad0974228cb)
Checking pull request #122
Not mergeable, but will be built anyway
No changes detected: PR-122 (still at 0100d5188d58d7a86846f806bf020e20f9049c32)
3 pull requests were processed
Finished examining runtimeverification/beacon-chain-spec
[Mon Feb 24 20:49:03 CST 2020] Finished branch indexing. Indexing took 3.3 sec