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: fa6b8db6b8b49f2bd3e4d4647f2b835c7ff9c3ab
Repository: https://github.com/isabelle-prover/isabelle-tools-collection.git

refs/remotes/origin/master

Built Branches

refs/remotes/origin/master: Build #940 of Revision fa6b8db6b8b49f2bd3e4d4647f2b835c7ff9c3ab (refs/remotes/origin/master)