author | wenzelm |
Tue, 16 Jan 2018 09:58:17 +0100 | |
changeset 67445 | 4311845b0412 |
parent 65419 | 457e4fbed731 |
permissions | -rw-r--r-- |
63288
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
object profile extends isabelle.CI_Profile |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
{ |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
3 |
|
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
4 |
import isabelle._ |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
5 |
|
63348
b3e5bdb784f5
adjust job/thread count for new hardware
Lars Hupel <lars.hupel@mytum.de>
parents:
63288
diff
changeset
|
6 |
def threads = 2 |
b3e5bdb784f5
adjust job/thread count for new hardware
Lars Hupel <lars.hupel@mytum.de>
parents:
63288
diff
changeset
|
7 |
def jobs = 3 |
63288
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
8 |
def include = Nil |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
9 |
def select = Nil |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
10 |
|
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
11 |
def pre_hook(args: List[String]) = {} |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
12 |
def post_hook(results: Build.Results) = {} |
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
13 |
|
65419 | 14 |
def selection = Sessions.Selection(all_sessions = true) |
63385 | 15 |
|
63288
e0513d6e4916
start moving actual Jenkins build scripts into the repository
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
16 |
} |