Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Mercurial Build Data

Git Build Data

Embeddable Build Status

Previous Build

Next Build

Git Build Data

Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git

refs/remotes/origin/master

Built Branches

refs/remotes/origin/master: Build #347 of Revision 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d (refs/remotes/origin/master)