Commits · main · Christoph Spiegel / ais2t

Apr 08, 2025
- Edit Dockerfile · 66704061
  Christoph Spiegel authored 2 days ago
  
  66704061
- Edit Dockerfile · 2bae320b
  Christoph Spiegel authored 2 days ago
  
  2bae320b
- Edit Dockerfile · bcb37cc7
  Christoph Spiegel authored 2 days ago
  
  bcb37cc7
- reset LEAN Dockerfile · 0e2e4c9f
  Christoph Spiegel authored 2 days ago
  
  0e2e4c9f
Apr 04, 2025
- Merge branch 'main' into 'main' · 06672148
  Oliver Meyer authored 6 days ago
  
  updated LEAN image See merge request docker/ais2t!21
  06672148
- updated LEAN image · 8dcbc863
  Christoph Spiegel authored 6 days ago
  
  8dcbc863
- CI: run build jobs with tag 'big' · d5cb3352
  Oliver Meyer authored 6 days ago
  
  d5cb3352
Apr 03, 2025
- Merge branch 'patch-1' into 'main' · 3078ae7d
  Oliver Meyer authored 1 week ago
  
  More complete LEAN Dockerfile See merge request docker/ais2t!19
  3078ae7d
- Edit Dockerfile · 4dd04d8d
  Christoph Spiegel authored 1 week ago
  
  4dd04d8d
- Merge branch 'patch-1' into 'main' · 7aaff259
  Oliver Meyer authored 1 week ago
  
  Edit Dockerfile See merge request docker/ais2t!18
  7aaff259
Apr 02, 2025
- Edit Dockerfile · d6a423f6
  Christoph Spiegel authored 1 week ago
  
  d6a423f6
Mar 17, 2025
- Merge branch 'patch-1' into 'main' · 9d84dd9f
  Oliver Meyer authored 3 weeks ago
  
  add pipx and uv to base image See merge request docker/ais2t!17
  9d84dd9f
- add pipx and uv to base image · 6bf7ba4d
  Christoph Spiegel authored 3 weeks ago
  
  6bf7ba4d
Feb 27, 2025
- Merge branch 'main' into 'main' · d1a4b62f
  Oliver Meyer authored 1 month ago
  
  Added Claude test image See merge request docker/ais2t!16
  d1a4b62f
- Update .gitlab-ci.yml · b18cd5cf
  Christoph Spiegel authored 1 month ago
  
  b18cd5cf
Feb 25, 2025
- Update file Dockerfile · e9da6025
  Christoph Spiegel authored 1 month ago
  
  e9da6025
Jan 02, 2025
- Merge branch 'cspiegel-main-patch-90949' into 'main' · 9232ae3e
  Oliver Meyer authored 3 months ago
  
  added xetex See merge request docker/ais2t!15
  9232ae3e
Dec 26, 2024
- added xetex · 60cb007d
  Christoph Spiegel authored 3 months ago
  
  60cb007d
Dec 18, 2024
- Merge branch 'main' into 'main' · 4ce5a93a
  Oliver Meyer authored 3 months ago
  
  CI: improve build time See merge request docker/ais2t!14
  4ce5a93a
- CI: run on Kubernetes · 45a876ee
  Oliver Meyer authored 3 months ago
  
  45a876ee
- CI: use latest kaniko image · 85d70057
  Oliver Meyer authored 3 months ago
  
  85d70057
- CI: use redo snapshotter to improve build time · 54372390
  Oliver Meyer authored 3 months ago
  
  redo snapshot strategy detects file changes based on file size, mtime, ... and not base on the file content
  54372390
- Merge branch 'main' into 'main' · 13a4888e
  Oliver Meyer authored 3 months ago
  
  Add latex to lean and web-dev See merge request docker/ais2t!13
  13a4888e
Dec 15, 2024
- Update Dockerfile · c8056d01
  Christoph Spiegel authored 3 months ago
  
  c8056d01
- Merge branch 'cspiegel-main-patch-35153' into 'main' · efc1de6d
  Christoph Spiegel authored 3 months ago
  
  Cspiegel main patch 35153 See merge request cspiegel/ais2t!1
  efc1de6d
- Update Dockerfile · 7764ebb1
  Christoph Spiegel authored 3 months ago
  
  7764ebb1
- Update Dockerfile · 5f0faed0
  Christoph Spiegel authored 3 months ago
  
  5f0faed0
Dec 11, 2024
- Merge branch 'cspiegel-main-patch-67624' into 'main' · 9faabc32
  Oliver Meyer authored 3 months ago
  
  separate out leanblueprint from mathlibtools See merge request docker/ais2t!10
  9faabc32
- separate out leanblueprint from mathlibtools · 6feee585
  Christoph Spiegel authored 3 months ago
  
  6feee585
- Merge branch 'cspiegel-main-patch-94056' into 'main' · 1acef6f3
  Oliver Meyer authored 3 months ago
  
  added leanblueprint pip package See merge request docker/ais2t!8
  1acef6f3
- Update Dockerfile · 1f85df53
  Christoph Spiegel authored 3 months ago
  
  1f85df53
Dec 10, 2024
- Merge branch 'cspiegel-main-patch-60473' into 'main' · d4d59ed0
  Oliver Meyer authored 3 months ago
  
  Cspiegel main patch 60473 See merge request docker/ais2t!7
  d4d59ed0
- Update Dockerfile · 8ce27c92
  Christoph Spiegel authored 3 months ago
  
  8ce27c92
- Update Dockerfile · 2d0a4044
  Christoph Spiegel authored 3 months ago
  
  2d0a4044
Nov 27, 2024
- Merge branch 'dev_ome' into 'main' · ede7569e
  Oliver Meyer authored 4 months ago
  
  base: new parent image (→ 1.14.0) See merge request docker/ais2t!6
  ede7569e
Nov 26, 2024
- base: new parent image (→ 1.14.0) · 256c30b6
  Oliver Meyer authored 4 months ago
  
  256c30b6
Oct 19, 2024
- switched to texlive-extra-utils · f813c30b
  Christoph Spiegel authored 5 months ago
  
  f813c30b
- Update Dockerfile · 77a81a25
  Christoph Spiegel authored 5 months ago
  
  77a81a25
Sep 27, 2024
- base: new parent image (→ 1.13.1) · bdc8c056
  Oliver Meyer authored 6 months ago
  
  bdc8c056
Sep 25, 2024
- base: new parent image (→ 1.13.0) · 941c5da7
  Oliver Meyer authored 6 months ago
  
  941c5da7