summaryrefslogtreecommitdiffstats
path: root/hosts/jenkins/etc/sudoers.d
AgeCommit message (Expand)AuthorFilesLines
2017-06-06Revert "reproducible Debian: add niceness variation (Closes: #863440)"Holger Levsen1-1/+7
2017-06-06reproducible Debian: add niceness variation (Closes: #863440)Holger Levsen1-7/+1
2017-04-26Revert "reproducible Debian: allow sudo for deleting build services logfiles"Holger Levsen1-1/+0
2017-04-26reproducible Debian: allow sudo for deleting build services logfilesHolger Levsen1-0/+1
2016-12-03reproducible Debian: allow jenkins to run as postgresValerie R Young1-0/+5
2016-06-03lvc: discard only outdated snapshotsPhilip Hands1-1/+1
2016-05-14lvc: copy sudoers.d/jenkins from test-vm to jenkinsPhilip Hands1-1/+1
2016-05-14lvc: discard snapshots if target volume is missingPhilip Hands1-0/+1
2016-04-19reproducible debian: run 1st build with a timeout of 18h and the 2nd with 24h...Holger Levsen1-4/+2
2016-01-06kill all processes run under /usr/bin/timeout tooHolger Levsen1-0/+1
2016-01-06allow dirty slayHolger Levsen1-3/+3
2015-12-21reproducible: give the 2nd build 18h to finish (while the 1st only has 12h)Holger Levsen1-0/+2
2015-12-09reproducible: add new script, reproducible_cleanup_nodes.sh, to kill lonely b...Holger Levsen1-1/+4
2015-12-03fixup a84a80c81: reproducible: don't modify the kernel version with linux64 (...Holger Levsen1-1/+1
2015-10-17reproducible: silently delete…Holger Levsen1-1/+1
2015-10-17reproducible: cleanup with sudoHolger Levsen1-0/+1
2015-10-03reproducible: allow umounting schrootsHolger Levsen1-0/+1
2015-10-03reproducible: allow sudo where schroot-create.sh needs itHolger Levsen1-3/+4
2015-09-10reproducible: call schroot without sudoHolger Levsen1-2/+0
2015-09-09reproducible: fixup sudo usageHolger Levsen1-1/+1
2015-09-09sigh, typosHolger Levsen1-2/+2
2015-09-09reproducible: allow to use schroot as needed (fixup acaeeaa2)Holger Levsen1-0/+2
2015-07-27move etc to hosts/jenkins/etcHolger Levsen2-0/+48
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-12-25 04:30:59 +0000