aboutsummaryrefslogtreecommitdiff
path: root/.github (follow)
Commit message (Collapse)AuthorAgeFilesLines
* download Isabelle from TUM archivesJosh Chen2020-07-161-2/+3
|
* fix action pathJosh Chen2020-07-161-1/+1
|
* set up CIJosh Chen2020-07-163-0/+53