summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-11-24drop duplicate progress reportingHEADmainLars Wirzenius1-2/+0
2023-11-24logging, don't panic if HTTP request failsLars Wirzenius3-2/+116
2023-11-24triggerLars Wirzenius1-12/+7
2023-11-15re-order usesLars Wirzenius1-6/+6
2023-11-14random report success or failureLars Wirzenius3-12/+612
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-14add Cargo.lockLars Wirzenius1-0/+681
2023-11-14hmmLars Wirzenius3-2/+39
2023-11-14add POST /runsLars Wirzenius3-0/+12