daikon/.azure/jobs.m4 at 8f1090d2f09157008c05c407b4778b10d6ba0d41 · codespecs/daikon · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
quick_job(ubuntu, 8)
quick_job(ubuntu, 11)
quick_job(ubuntu, 17)
quick_job(ubuntu, 21)
quick_job(ubuntu, 25)
quick_job(ubuntu, 26)

nonquick_job(ubuntu, 8)
nonquick_job(ubuntu, 11)
nonquick_job(ubuntu, 17)
nonquick_job(ubuntu, 21)
nonquick_job(ubuntu, 25)
nonquick_job(ubuntu, 26)

nontxt_job(ubuntu, 8)
nontxt_job(ubuntu, 11)
nontxt_job(ubuntu, 17)
nontxt_job(ubuntu, 21)
nontxt_job(ubuntu, 25)
nontxt_job(ubuntu, 26)

misc_job(ubuntu, 8)
misc_job(ubuntu, 11)
misc_job(ubuntu, 17)
misc_job(ubuntu, 21)
misc_job(ubuntu, 25)
misc_job(ubuntu, 26)

kvasir_job(ubuntu, 8)
kvasir_job(ubuntu, 25)
kvasir_job(ubuntu, 26)

  ## The Checker Framework cannot be run under Java 8 or 11.
  ## Thus, there is no typecheck_bundled_ubuntu_jdk{8,11} job.
  ## The Checker Framework cannot be built under Java 8, 11 or 17.
  ## Thus, there is no typecheck_latest_ubuntu_jdk{8,11,17} job.
typecheck_job_parts(ubuntu, 17, bundled)
typecheck_job_parts(ubuntu, 21, bundled)
typecheck_job_parts(ubuntu, 21, latest)
typecheck_job_parts(ubuntu, 25, bundled)
typecheck_job_parts(ubuntu, 25, latest)
typecheck_job_parts(ubuntu, 26, bundled)
typecheck_job_parts(ubuntu, 26, latest)

quick_job(rockylinux, 8)
quick_job(rockylinux, 25)
quick_job(rockylinux, 26)

nonquick_job(rockylinux, 8)
nonquick_job(rockylinux, 25)
nonquick_job(rockylinux, 26)

nontxt_job(rockylinux, 8)
nontxt_job(rockylinux, 25)
nontxt_job(rockylinux, 26)

misc_job(rockylinux, 8)
misc_job(rockylinux, 25)
misc_job(rockylinux, 26)

kvasir_job(rockylinux, 8)
kvasir_job(rockylinux, 25)
kvasir_job(rockylinux, 26)