aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/Dockerfile (unfollow)
Commit message (Expand)AuthorFilesLines
2020-07-16set up CIJosh Chen1-0/+27
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 01:34:15 +0000