Commits · ae2cbc363b9e5e7c4af51c51d4f1487f6af7ae1b · Théo Zimmermann / Coder deployment for INF110

Jan 16, 2025
- Update kube-jupyterhub.md · ae2cbc36
  Nicolas Bouche authored 2 months ago
  
  ae2cbc36
- Add new file · 014c18a1
  Nicolas Bouche authored 2 months ago
  
  014c18a1
- Update kube-jupyterhub.md · 5924326e
  Nicolas Bouche authored 2 months ago
  
  5924326e
Dec 20, 2024
- Update kube-jupyterhub.md · 6008a9e6
  Nicolas Bouche authored 3 months ago
  
  6008a9e6
- Update kube-jupyterhub.md · b3afad26
  Nicolas Bouche authored 3 months ago
  
  b3afad26
Dec 19, 2024
- Adapt instructions to coq-lsp raising the Document not ready error. · 9174898d
  Théo Zimmermann authored 3 months ago
  
  9174898d
- Extend environment to be able to run the mv files. · 32d3faa2
  Théo Zimmermann authored 3 months ago
  
  32d3faa2
- Update kube-jupyterhub.md · 303c49ca
  Nicolas Bouche authored 3 months ago
  
  303c49ca
- Update kube-jupyterhub.md · 9712005a
  Nicolas Bouche authored 3 months ago
  
  9712005a
- Update kube-jupyterhub.md · 6ea6465b
  Nicolas Bouche authored 3 months ago
  
  6ea6465b
- Update kube-jupyterhub.md · ece76ac8
  Nicolas Bouche authored 3 months ago
  
  ece76ac8
- 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