Isabelle-HoTT/.github/isabelle-action/Dockerfile, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 update CI to Isabelle 2021 2021-04-17T16:53:48+00:00 Josh Chen 2021-04-17T16:53:48+00:00 eab890b514b4ff16e46959117416c6db2c27aaf6 






update Isabelle2020 URL in Dockerfile
2021-04-10T21:06:04+00:00

Josh Chen

2021-04-10T21:06:04+00:00

af3b0ccf72ec0d22b635e413fd24f6ab47cd27a0












final test push
2020-07-17T09:11:13+00:00

Josh Chen

2020-07-17T09:11:13+00:00

9eb4aeb3c2cfeb9bba05e7cf34976946a4d29677












fix path
2020-07-17T09:06:19+00:00

Josh Chen

2020-07-17T09:06:19+00:00

f510ca75c5b01528840a0331012ef10a5545012b












test
2020-07-17T09:03:22+00:00

Josh Chen

2020-07-17T09:03:22+00:00

877b9511e2ffbef518dbc92ac6a8ec98559f69f4












check home var
2020-07-17T08:51:26+00:00

Josh Chen

2020-07-17T08:51:26+00:00

66b180a3b9a6dc63869f28f3b98a487933452556












change HOME env var, more testing...
2020-07-17T08:47:20+00:00

Josh Chen

2020-07-17T08:47:20+00:00

6e54cf5fc5a4e85ab943511891f16080b4c61a38












more test
2020-07-17T08:41:19+00:00

Josh Chen

2020-07-17T08:41:19+00:00

1ff98c9bf82002a526a1851b05504e1f59361d00












more testing
2020-07-17T08:35:07+00:00

Josh Chen

2020-07-17T08:35:07+00:00

31dca5713d3fbd8401dd35cbf12c2cfcb4944db8












probe directories
2020-07-16T21:31:04+00:00

Josh Chen

2020-07-16T21:31:04+00:00

e75a2a2ddfd82d4ba2e65526be1ed92f64369b48