summaryrefslogtreecommitdiff
path: root/.github/workflows/bootstrap.yml
AgeCommit message (Expand)AuthorFilesLines
2021-08-18Bootstrap clingo from binaries (#22720)Massimiliano Culpo1-4/+51
2021-08-03Test bootstrapping in a workflow (#25138)Massimiliano Culpo1-0/+113