summaryrefslogtreecommitdiff
path: root/.circleci/tickle.sh
AgeCommit message (Expand)AuthorFilesLines
2020-02-26Replace CircleCI with GitHub ActionsJasper Van der Jeugt1-24/+0
2017-12-21Cabalize websiteJasper Van der Jeugt1-1/+1
2017-12-18Build on CircleCIJasper Van der Jeugt1-0/+24