aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/action.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* set up CIJosh Chen2020-07-161-0/+13
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 21:43:41 +0000