aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/Dockerfile (follow)
Commit message (Collapse)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-171-7/+5
|
* 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-171-10/+5
|
* probe directoriesJosh Chen2020-07-161-1/+1
|
* testJosh Chen2020-07-161-1/+2
|
* try try againJosh Chen2020-07-161-4/+5
|
* 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-161-0/+27