aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/action.yml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* more testingJosh Chen2020-07-171-3/+3
|
* try try againJosh Chen2020-07-161-2/+2
|
* set up CIJosh Chen2020-07-161-0/+13