Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/build/TUM.toml
author wenzelm
Sun, 27 Oct 2024 11:31:42 +0100
changeset 81269 1f64dce814e7
parent 78946 87ac093e4d1a
child 81468 3279f71eb0f4
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
78946
87ac093e4d1a some build cluster resources at TUM;
wenzelm
parents:
diff changeset 
     1
 
# Build cluster resources at TUM
87ac093e4d1a some build cluster resources at TUM;
wenzelm
parents:
diff changeset 
     2
 












87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     3


[host.lxbroy10]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     4


hostname = "lxbroy10.informatik.tu-muenchen.de"













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     5


numa = true













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     6














87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     7


[host.vmnipkow9]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     8


hostname = "vmnipkow9.informatik.tu-muenchen.de"













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




     9














87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    10


[host.mini1]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    11


hostname = "131.159.47.71"













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    12














87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    13


[host.mini2]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    14


hostname = "131.159.47.72"













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    15














87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    16


[host.mini3]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    17


hostname = "131.159.46.69"













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    18














87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    19


[host.studio1]













87ac093e4d1a
some build cluster resources at TUM;



wenzelm


parents: 

diff
changeset




    20


hostname = "131.159.46.182"















isabelle