aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/action.yml (unfollow)
Commit message (Expand)AuthorFilesLines
2020-07-17more testingJosh Chen1-3/+3
2020-07-16try try againJosh Chen1-2/+2
2020-07-16set up CIJosh Chen1-0/+13