summaryrefslogtreecommitdiff
path: root/build-aux/cuirass/evaluate.scm
AgeCommit message (Expand)AuthorFilesLines
2026-03-25cuirass: Write jobs with ‘pretty-print’.Ludovic Courtès1-1/+2
2026-03-25cuirass: Allow for substitutes.Ludovic Courtès1-5/+0
2022-05-26cuirass: Create just as many threads as needed.Ludovic Courtès1-1/+2
2022-05-26cuirass: Fork inferior processes before creating threads.Ludovic Courtès1-24/+29
2022-05-20cuirass: Close each inferior upon completion.Ludovic Courtès1-0/+1
2021-03-10ci: Remove hydra support.Mathieu Othacehe1-0/+105