Achim D. Brucker
|
b55a4de7f1
|
Add date argument to invalidate cache.
|
2023-05-07 15:41:13 +01:00 |
Achim D. Brucker
|
18895bdb55
|
Initial upload: Dockerfile for Isabelle nightly builds.
|
2023-04-27 13:36:47 +01:00 |
Achim D. Brucker
|
0ae1e8eafa
|
Disabled build of Isabelle/DOF image.
|
2022-10-30 20:44:02 +00:00 |
Achim D. Brucker
|
6b8827830d
|
Updated latest Isabelle version and export environment.
|
2021-03-18 19:19:09 +00:00 |
Achim D. Brucker
|
39b2e5865e
|
Bug fix: LATEST defined twice.
|
2021-03-06 18:12:49 +00:00 |
Achim D. Brucker
|
bd83a9f241
|
Factored configuration in separate file.
|
2021-01-09 19:11:06 +00:00 |
Achim D. Brucker
|
2cfef2ddfc
|
Allow user of podman as alternative to docker.
|
2021-01-03 21:50:25 +00:00 |
Achim D. Brucker
|
b761d788a8
|
Update to Isabelle 2020.
lh-docker/lh-docker-isabelle/master There was a failure building this commit
Details
lh-docker/lh-docker-isabelle/pipeline/head There was a failure building this commit
Details
|
2020-05-03 15:04:08 +01:00 |
Achim D. Brucker
|
95ec2a3f0c
|
Use official release archive for generating Docker images.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-18 16:42:12 +01:00 |
Achim D. Brucker
|
1f51468201
|
Inital commit of Dockerfile for Isabelle/DOF.
|
2019-08-17 22:53:10 +01:00 |
Achim D. Brucker
|
8ada0bd1b9
|
Source hook locally.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-16 14:16:06 +01:00 |
Achim D. Brucker
|
0890d5a517
|
Moved Isabelle-image specific setup into build hook.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-16 07:12:11 +01:00 |
Achim D. Brucker
|
f241eeb676
|
Updated images names.
|
2019-08-16 00:04:28 +01:00 |
Achim D. Brucker
|
b5ba5be36f
|
Added organization name to image names.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-15 20:36:16 +01:00 |
Achim D. Brucker
|
60613ae169
|
Renamed repository to lh-docker-isabelle.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-15 20:23:15 +01:00 |
Achim D. Brucker
|
d88f0ed610
|
Added support for Isabelle 2019.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-06-18 07:39:43 +01:00 |
Achim D. Brucker
|
63915e3cc2
|
Enable configuration of UID of user in Docker container.
|
2019-01-06 01:01:09 +00:00 |
Achim D. Brucker
|
ebdd436bd0
|
Switched from http to https.
|
2019-01-06 00:12:26 +00:00 |
Achim D. Brucker
|
d8dfe40d96
|
Bug fix: Isabelle version was hardcoded in tags.
|
2019-01-05 15:38:26 +00:00 |
Achim D. Brucker
|
b64cf8a7be
|
Initial commit isabelle.
|
2019-01-03 09:41:12 +00:00 |
Achim D. Brucker
|
def5cfad30
|
Initial commit debian4isabelle.
|
2019-01-02 07:41:12 +00:00 |