Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#1688
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
macOS build: exclude HOL-Proofs
Changeset
68280:310b8c1e4dbb
by
lars hupel _lars.hupel@mytum.de_
:
merged
Changeset
68279:5824e400cecc
by
lars hupel _lars.hupel@mytum.de_
:
macOS build: exclude HOL-Proofs
The file was modified
Admin/jenkins/build/ci_build_makeall_seq.scala
(diff)