-
Notifications
You must be signed in to change notification settings - Fork 2
/
all.yml
63 lines (50 loc) · 1.14 KB
/
all.yml
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
---
ansible_python_interpreter: python3
ansible_remote_tmp: /tmp
config:
ssl_domains:
afp: www.isa-afp.org
afp_devel: devel.isa-afp.org
afp_short: isa-afp.org
domains:
afp_submit: afp-submit.proof.cit.tum.de
build: build.proof.cit.tum.de
search: search.isabelle.in.tum.de
mail:
host: mail.cit.tum.de
port: 465
build:
home: /home/build
data: /srv/build
mail:
sender: ci@proof.cit.tum.de
admin: isabelle-ci@mailman46.in.tum.de
github:
user: isabelle-bot
isabelle:
version: 2024
afp:
version: 2024
container_home: "/media/data/conrad"
git: "https://github.com/isabelle-prover/afp-submission.git"
sub_id_min: 10000001
sub_id_max: 10100000
sub_id_count: 100000
site_home: "/srv/afp"
mail:
sender: afp@proof.cit.tum.de
admin: afp@proof.cit.tum.de
editors: afp-submit@in.tum.de
linter:
version: Isabelle2024-v1.0.1
apache:
cert_name: isabelle-tls-certs
webroots:
- /var/www/ci
- /srv/afp
- /var/www/afp-devel
configs:
- ci.conf
- ci-ssl.conf
- isa-afp.conf
- isa-afp-ssl.conf