Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Git Build Data

Embeddable Build Status

Previous Build

Git Build Data

Revision: c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
Repository: https://github.com/isabelle-prover/isabelle-tools-collection.git

refs/remotes/origin/master

Built Branches

refs/remotes/origin/master: Build #878 of Revision c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d (refs/remotes/origin/master)