Differences between revisions 52 and 62 (spanning 10 versions)
⇤ ← Revision 52 as of 2019-01-23 13:27:16 →
Size: 1509
Editor: jipilab
Comment: Added gh-kliem's bots
← Revision 62 as of 2024-08-28 04:58:44 → ⇥
Size: 0
Editor: mkoeppe
Comment: outdated redirect
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
## page was renamed from buildbot/owners
Sagemath patchbots names and owners:
{{{
    andromeda --> jkroeker
    arando --> jdemeyer
    ark --> rws
    athena --> kdilks
    btm2x13 --> mderickx
    bunion --> etn40ff (this is a laptop so it will be running sporadically)
    cofio --> gh-kliem
    cristal --> Bouillaguet
    debian_jessie_32 --> tmonteil
    eddy --> Vincent.Neri (lri, Orsay, Paris sud)
    fermat --> cremona,davidloeffler
    findstat --> stumpc5
    geom --> dimpase
    groebner --> jkroeker
    hades --> klee
    icj-laptop --> chapoton
    kepler --> nilesjohnson
    kevin-Virtualbox --> kdilks
    mangouste --> vdelecroix
    manifold --> egourgoulhon
    martin-Laptop --> mantepse
    mercury --> kdilks
    pbua --> novoselt
    poseidon --> kdilks
    quasar --> vdelecroix
    sage4 --> jdemeyer
    sardonis --> jdemeyer
    silence --> ncohen
    tmonteil-* --> tmonteil (various VM to test different arch/OS/release). Contact me if you want a 32bit patchbot to test a particular ticket.
    ubuntu_vivid_64 --> tmonteil
    vogon.jeltz(32Bit)--> jkroeker
    x200t-ThinkPad-* --> jkroeker
    zancara --> gh-kliem
    zorn --> agd
}}}