Differences between revisions 51 and 52
⇤ ← Revision 51 as of 2018-07-09 11:36:56 →
Size: 1437
Editor: chapoton
Comment:
← Revision 52 as of 2019-01-23 13:27:16 → ⇥
Size: 1509
Editor: jipilab
Comment: Added gh-kliem's bots
Deletions are marked like this. Additions are marked like this.
Line 10: Line 10:
    cofio --> gh-kliem
Line 35: Line 36:
    zancara --> gh-kliem

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