aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-07-17final test pushJosh Chen1-0/+1
2020-07-17fix pathJosh Chen1-2/+3
2020-07-17testJosh Chen2-7/+10
2020-07-17check home varJosh Chen1-1/+1
2020-07-17change HOME env var, more testing...Josh Chen1-1/+2
2020-07-17more testJosh Chen1-0/+1
2020-07-17more testingJosh Chen2-13/+8
2020-07-16probe directoriesJosh Chen1-1/+1
2020-07-16testJosh Chen1-1/+2
2020-07-16try try againJosh Chen2-6/+7
2020-07-16try againJosh Chen1-6/+6
2020-07-16I think I figured out the problemJosh Chen1-2/+1
2020-07-16try ADD instead of RUN curlJosh Chen1-2/+1
2020-07-16will this parse now?Josh Chen1-1/+2
2020-07-16fixJosh Chen1-1/+1
2020-07-16download Isabelle from TUM archivesJosh Chen1-2/+3
2020-07-16set up CIJosh Chen2-0/+40