Commits · 22100ce260d7c23995e85b5f146a774b45a84623 · deadlock-public / deadlock-desktop

Browse files

Aug 10, 2022
- fix: path to .ssh · 22100ce2
  Mohamed AZIKIOU authored 2 years ago
  
  22100ce2
Aug 01, 2022
- fix: path UserMission · f70fb71c
  Mohamed AZIKIOU authored 2 years ago
  
  f70fb71c
Jul 29, 2022
- live · def68cf6
  Djamel ALI authored 2 years ago
  
  def68cf6
Jul 20, 2022
- feat: make initial commit after structure init · 94968e6f
  Mohamed AZIKIOU authored 2 years ago and Djamel ALI committed 2 years ago
  
  94968e6f
Jul 08, 2022
- feat: GitLens added to inspect student's executions history · 26212f14
  Djamel ALI authored 3 years ago and Mohamed AZIKIOU committed 3 years ago
  
  26212f14
- fix: prevent reviewer from pushing code or updating time spent · 93466625
  Guillaume WEBER authored 3 years ago and Mohamed AZIKIOU committed 3 years ago
  
  93466625
Jul 07, 2022
- fix: bugs in startup · 25ab7722
  Mohamed AZIKIOU authored 3 years ago and Guillaume WEBER committed 3 years ago
  
  25ab7722
Jul 04, 2022
- fix: fixed async issue when removing files no proper awaiting is made · 1e27d3e3
  Mohamed AZIKIOU authored 3 years ago
  
  1e27d3e3
- fix: get_user_mission · 3c36818f
  Mohamed AZIKIOU authored 3 years ago
  
  3c36818f
Jun 30, 2022
- feat: commit on command run · 8f533e94
  Mohamed AZIKIOU authored 3 years ago
  
  8f533e94
- feat: merged recorder in the extension · bb4c883d
  Mohamed AZIKIOU authored 3 years ago and Mario HOTAJ committed 3 years ago
  
  bb4c883d
Jun 10, 2022
- feat: added jest tests · ec136f87
  Mohamed AZIKIOU authored 3 years ago and Mohamed AZIKIOU committed 3 years ago
  
  ec136f87
- feat(vscode extension): mounted .bashrc, .zshrc · 9ffc7aba
  Mohamed AZIKIOU authored 3 years ago and Mohamed AZIKIOU committed 3 years ago
  
  9ffc7aba
Jun 08, 2022
- feat(extension): login, open in devcontainer, automaticly save code, open... · 0ecbf550
  Lansana DIOMANDE authored 3 years ago and Alexandra committed 3 years ago
  0ecbf550
Apr 29, 2022
- feat: add authentication + directory picking + redirection link · f225653d
  Christian ZHENG authored 3 years ago
  
  f225653d
Feb 08, 2022
- feat: user's git now has preconfigured username/email · 9f914ed2
  pierrick_cbl authored 3 years ago
  9f914ed2
- feat: users can have their own Git repo that will be persisted · 2e72135a
  pierrick_cbl authored 3 years ago
  2e72135a
Dec 07, 2021
- feat: use new theia build · 43dee036
  Alex authored 3 years ago
  
  43dee036
Jun 08, 2021
- chores: format code · a3b34345
  Alex authored 4 years ago
  
  a3b34345
Nov 25, 2020
- feat: professor mode · e43c89ab
  Alex authored 4 years ago
  
  e43c89ab
Nov 09, 2020
- feat: change way to name commit · fb3145b2
  Alex authored 4 years ago
  
  fb3145b2
Nov 02, 2020
- feat: git integration to pull/push user code · 70ecbe71
  Alex authored 4 years ago
  
  70ecbe71
Oct 12, 2020
- feat: git pull on startup, refactor user-challenge config · 2150a773
  Alex authored 4 years ago
  
  2150a773