summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2023-11-24drop duplicate progress reportingHEADmainLars Wirzenius1-2/+0
2023-11-24logging, don't panic if HTTP request failsLars Wirzenius1-2/+16
2023-11-24triggerLars Wirzenius1-12/+7
2023-11-15re-order usesLars Wirzenius1-6/+6
2023-11-14random report success or failureLars Wirzenius1-3/+12
2023-11-14thread to report resultsLars Wirzenius1-3/+22
2023-11-14renameLars Wirzenius1-4/+4
2023-11-14commentLars Wirzenius1-0/+3
2023-11-14POST includes commit to buildLars Wirzenius1-3/+14
2023-11-14run counter across requestsLars Wirzenius1-3/+18
2023-11-14hmmLars Wirzenius1-2/+35
2023-11-14add POST /runsLars Wirzenius1-0/+3