1
0
Derivar 0
Gráfico de cometimentos

60 Cometimentos

Autor(a) SHA1 Mensagem Data
Achim D. Brucker b55a4de7f1 Add date argument to invalidate cache. 2023-05-07 15:41:13 +01:00
Achim D. Brucker 6daeb20397 Switched to a root-user setup for simplicity. 2023-05-03 10:40:26 +01:00
Achim D. Brucker 18895bdb55 Initial upload: Dockerfile for Isabelle nightly builds. 2023-04-27 13:36:47 +01:00
Achim D. Brucker e609ebcf08 Updated entcs and AFP URLs. 2023-03-04 18:57:08 +00:00
Achim D. Brucker 3d7d357302 Added python3-urllib3, which is required by pipenv. 2023-03-02 16:20:28 +00:00
Achim D. Brucker 3fdb7b86b4 Updated default version to Isabelle 2022. 2022-10-30 20:44:17 +00:00
Achim D. Brucker 0ae1e8eafa Disabled build of Isabelle/DOF image. 2022-10-30 20:44:02 +00:00
Achim D. Brucker 5c2343f8d0 Use Debian unstable and add lipics style. 2022-10-30 20:42:57 +00:00
Achim D. Brucker cde06430a7 Fix for Isabelle 2021. 2022-10-30 20:42:23 +00:00
Achim D. Brucker aaad4fb482 Clean /tmp director after build. 2021-04-13 12:25:49 +01:00
Achim D. Brucker 9fa6b32b53 Added links for Isabelle/DOF 1.1.0. 2021-03-21 00:41:35 +00:00
Achim D. Brucker 315b3d1b1d Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00
Achim D. Brucker 4b2e86c6ad Added link for Isabelle2021 image. 2021-03-18 19:19:29 +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 1c7a99b9c1 Fixed markdown. 2021-01-24 14:57:00 +00:00
Achim D. Brucker d5198cdd37 Fixed markdown. 2021-01-24 14:55:17 +00:00
Achim D. Brucker 6c588e2fa1 Fixed markdown. 2021-01-24 14:54:50 +00:00
Achim D. Brucker e592260376 Added links to docker hub. 2021-01-24 14:53:53 +00:00
Achim D. Brucker 84e02a0e23 Added note that files are tested with podman and Docker. 2021-01-22 21:34:42 +00:00
Achim D. Brucker c7c5b0f4ce Added build dir. 2021-01-17 16:14:59 +00:00
Achim D. Brucker a80fd4d3c4 Enable use global config. 2021-01-16 13:16:24 +00:00
Achim D. Brucker 67cc9b43c4 Use $IMAGE_NAME for tagging. 2021-01-15 11:50:43 +00:00
Achim D. Brucker 1e8603f50e Allow non-unique uids. 2021-01-13 22:50:30 +00:00
Achim D. Brucker 72212b998c Fixed typo. 2021-01-09 19:23:58 +00:00
Achim D. Brucker bd83a9f241 Factored configuration in separate file. 2021-01-09 19:11:06 +00:00
Achim D. Brucker f31ef95fe9 Use docker as default container. 2021-01-03 23:35:07 +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 1f569f2f74 Fixed typo. 2021-01-03 16:29:38 +00:00
Achim D. Brucker b32ee44980 Use full registry URL (allows to use the Dockerfile, e.g., with podman, without the need to configure the registry. 2021-01-02 09:25:56 +00:00
Achim D. Brucker b761d788a8 Update to Isabelle 2020.
lh-docker/lh-docker-isabelle/master There was a failure building this commit Detalhes
lh-docker/lh-docker-isabelle/pipeline/head There was a failure building this commit Detalhes
2020-05-03 15:04:08 +01:00
Achim D. Brucker d8863b054c Log image version during build.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-18 19:52:20 +01:00
Achim D. Brucker b0cecf990e Install PDF viewer.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-18 17:01:19 +01:00
Achim D. Brucker 95ec2a3f0c Use official release archive for generating Docker images.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-18 16:42:12 +01:00
Achim D. Brucker 3d49783668 Bug fix: examples in JEdit docker. 2019-08-18 09:17:26 +01:00
Achim D. Brucker 1f51468201 Inital commit of Dockerfile for Isabelle/DOF. 2019-08-17 22:53:10 +01:00
Achim D. Brucker 355588690a Fixed project URL and improved description of Isabelle images. 2019-08-16 16:44:21 +01:00
Achim D. Brucker 8ada0bd1b9 Source hook locally.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-16 14:16:06 +01:00
Achim D. Brucker 13553ff8aa Fixed Sourceforce URL.
lh-docker/lh-docker-isabelle/master There was a failure building this commit Detalhes
2019-08-16 14:04:25 +01:00
Achim D. Brucker 40fc942edf Testing curl for obtaining latest AFP archive name (avoids use of w3m and awk).
lh-docker/lh-docker-isabelle/master There was a failure building this commit Detalhes
2019-08-16 08:59:01 +01:00
Achim D. Brucker b67a679bd7 Ensure quoting of arguments.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-16 07:21:54 +01:00
Achim D. Brucker 0890d5a517 Moved Isabelle-image specific setup into build hook.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
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 Detalhes
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 Detalhes
2019-08-15 20:23:15 +01:00
Achim D. Brucker b99b55250a Install git and mercurial.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-08-15 17:55:54 +01:00
Achim D. Brucker d88f0ed610 Added support for Isabelle 2019.
lh-docker/lh-docker-isabelle/master This commit looks good Detalhes
2019-06-18 07:39:43 +01:00
Achim D. Brucker 100fa86c71 Fixed PATH. 2019-01-06 22:47:51 +00: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