aboutsummaryrefslogtreecommitdiff
path: root/.github (unfollow)
Commit message (Expand)AuthorFilesLines
2020-07-17rename actionJosh Chen1-1/+1
2020-07-17looks like descriptions not allowed in workflow job yamlJosh Chen1-1/+0
2020-07-17final test pushJosh Chen2-0/+2
2020-07-17fix pathJosh Chen1-2/+3
2020-07-17testJosh Chen3-8/+11
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 Chen3-14/+9
2020-07-16probe directoriesJosh Chen1-1/+1
2020-07-16testJosh Chen1-1/+2
2020-07-16try try againJosh Chen3-7/+8
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-16fix action pathJosh Chen1-1/+1
2020-07-16set up CIJosh Chen3-0/+53