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