aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
* Adapt CI scripts for readonly sourcedirDaniel Gröber2017-09-195-12/+19
* Extract CI config into scriptsDaniel Gröber2017-09-188-0/+33
* gitlab-ci: Add retry to 'cabal install' commandDaniel Gröber2017-06-121-0/+50
* Add release scriptDaniel Gröber2015-09-071-0/+24