| author | wenzelm |
| Thu, 14 Jun 2018 17:50:23 +0200 | |
| changeset 68449 | 6d0f1a5a16ea |
| 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 |
} |