summaryrefslogtreecommitdiff
path: root/.github/workflows/bootstrap.yml
AgeCommit message (Expand)AuthorFilesLines
2021-08-23re2c: add versions up to v2.2 (#25500)Harmen Stoppels1-0/+1
2021-08-18Bootstrap clingo from binaries (#22720)Massimiliano Culpo1-4/+51
2021-08-03Test bootstrapping in a workflow (#25138)Massimiliano Culpo1-0/+113