aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action (follow)
Commit message (Expand)AuthorAgeFilesLines
* update CI to Isabelle 2021Josh Chen2021-04-171-2/+2
* update Isabelle2020 URL in DockerfileJosh Chen2021-04-101-1/+1
* 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