Commits · 74c8abe0c48e79e5b02063267fb7292622bbd4c1 · Théo Zimmermann / Coder deployment for INF110

Dec 19, 2024
- Add new file · 74c8abe0
  Nicolas Bouche authored 3 months ago
  
  74c8abe0
- Update kube-jupyterhub.md · aefa162d
  Nicolas Bouche authored 3 months ago
  
  aefa162d
- Update kube-jupyterhub.md · bbcce827
  Nicolas Bouche authored 3 months ago
  
  bbcce827
- Update kube-jupyterhub.md · 5db012f1
  Nicolas Bouche authored 3 months ago
  
  5db012f1
- Update kube-jupyterhub.md · 0f084fc4
  Nicolas Bouche authored 3 months ago
  
  0f084fc4
- Update kube-jupyterhub.md · cf373caa
  Nicolas Bouche authored 3 months ago
  
  cf373caa
- Update kube-jupyterhub.md · b012bf54
  Nicolas Bouche authored 3 months ago
  
  b012bf54
- Update kube-jupyterhub.md · 45b09920
  Nicolas Bouche authored 3 months ago
  
  45b09920
- Update kube-jupyterhub.md · 50830035
  Nicolas Bouche authored 3 months ago
  
  50830035
- Update kube-jupyterhub.md · e29271a7
  Nicolas Bouche authored 3 months ago
  
  e29271a7
- Update kube-jupyterhub.md · 61541546
  Nicolas Bouche authored 3 months ago
  
  61541546
- Update kube-jupyterhub.md · d2f537cb
  Nicolas Bouche authored 3 months ago
  
  d2f537cb
- Update kube-jupyterhub.md · 80cde6eb
  Nicolas Bouche authored 3 months ago
  
  80cde6eb
- Update kube-jupyterhub.md · 1b30dc29
  Nicolas Bouche authored 3 months ago
  
  1b30dc29
- Update kube-jupyterhub.md · bfaee34c
  Nicolas Bouche authored 3 months ago
  
  bfaee34c
- Fixes regarding Helm after discussing with Nicolas. · 9e123601
  Théo Zimmermann authored 3 months ago
  
  9e123601
- Update kube-jupyterhub.md · e5d80609
  Nicolas Bouche authored 3 months ago
  
  e5d80609
- Update kube-jupyterhub.md · 6612d4a1
  Nicolas Bouche authored 3 months ago
  
  6612d4a1
- Update kube-jupyterhub.md · a939b7ed
  Nicolas Bouche authored 3 months ago
  
  a939b7ed
- Add new file · 58550621
  Nicolas Bouche authored 3 months ago
  
  58550621
- Update kube-jupyterhub.md · 40c693e9
  Nicolas Bouche authored 3 months ago
  
  40c693e9
- Update kube-jupyterhub.md · db870839
  Nicolas Bouche authored 3 months ago
  
  db870839
- helm added · 32176be2
  Nicolas Bouche authored 3 months ago
  
  32176be2
- Add new file · b1958954
  Nicolas Bouche authored 3 months ago
  
  b1958954
Dec 18, 2024
- Fetch student works in snapshots/ · bbf40158
  Théo Zimmermann authored 3 months ago
  
  bbf40158
- Enable running Jupyter from VS Code. · 0b2c2f50
  Théo Zimmermann authored 3 months ago
  
  0b2c2f50
Dec 16, 2024
- Clarification suggested by students. · 675efad9
  Théo Zimmermann authored 3 months ago
  
  675efad9
Dec 10, 2024
- Fix Docker image for workspaces for coq-lsp to find its libraries. · 9dbf2498
  Théo Zimmermann authored 3 months ago
  
  9dbf2498
Dec 09, 2024
- Add an error highlighting extension to better visualize errors in coq-lsp. · 0bf2756b
  Théo Zimmermann authored 3 months ago
  
  0bf2756b
- Fix typo. · f6fd29a7
  Théo Zimmermann authored 3 months ago
  
  f6fd29a7
- Add open source license with authorization from Pierre Letouzey and Alexandre Miquel. · ac676ad7
  Théo Zimmermann authored 3 months ago
  
  ac676ad7
- Add a section documenting how to deploy code-server without Coder. · bfe4ac18
  Théo Zimmermann authored 3 months ago
  
  bfe4ac18
- Document skipping the load balancer. · 06abb3db
  Théo Zimmermann authored 3 months ago
  
  06abb3db
Dec 02, 2024
- Give an example where the contents of the list of inputs is not the same as their indices. · ec5c811a
  Théo Zimmermann authored 3 months ago
  
  ec5c811a
Nov 29, 2024
- Update README to explain evaluation. · 19dca90a
  Théo Zimmermann authored 3 months ago
  
  19dca90a
Nov 28, 2024
- Add a start all workspaces function. · bcc3b01e
  Théo Zimmermann authored 3 months ago
  
  bcc3b01e
Nov 22, 2024
- Add folder with files to populate workspaces. · abbd8eed
  Théo Zimmermann authored 3 months ago
  
  abbd8eed
Nov 21, 2024
- Function to create all user workspaces. · 6fb577b5
  Théo Zimmermann authored 3 months ago
  
  6fb577b5
- Add removal instructions. · 31cff1ce
  Théo Zimmermann authored 3 months ago
  
  31cff1ce
- Convert part of the Jupyter notebook to use requests instead of HTTPie. · 84c6063d
  Théo Zimmermann authored 3 months ago
  
  84c6063d