Commits · c475eb379b052ff59339086ebdc0b00b4b728c85 · deadlock-public / deadlock-theia

Dec 08, 2021
- chore: setup default settings, fix briefing loader · 722b6ab0
  Alexandra authored 3 years ago
  
  722b6ab0
- fix: recorder building · 2fab32c0
  Alexandra authored 3 years ago
  
  2fab32c0
Dec 07, 2021
- chores: update theia version to deadlock one · f780b818
  Alex authored 3 years ago
  
  f780b818
- chores: clean theia resources · 8a8ab05c
  Alex authored 3 years ago
  
  8a8ab05c
- feat: use new theia build · 43dee036
  Alex authored 3 years ago
  
  43dee036
Dec 03, 2021
- fix: save on flash running mission · eaa3cc8b
  Alex authored 4 years ago
  
  eaa3cc8b
May 31, 2021
- try to use PS4 · 5176637d
  Alex authored 4 years ago
  
  5176637d
Jan 19, 2021
- support images in briefing and setup theia-full · 0be9db28
  Alexandra authored 4 years ago
  
  View commits for tag 1.2 1.2
  
  0be9db28
Nov 26, 2020
- fix: preStop was missing in final Docker image · 112f4d09
  Alex authored 4 years ago
  
  112f4d09
Nov 25, 2020
- feat: professor mode · e43c89ab
  Alex authored 4 years ago
  
  e43c89ab
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
Aug 27, 2020
- chore: increase theia-java to 1.4.0 · dbd873c8
  Alex authored 4 years ago
  
  dbd873c8
Aug 05, 2020
- chore: allow cors from deadlock.io · bddd8422
  Alex authored 4 years ago
  
  bddd8422
- chore: set cors config to webpack · 7e25e710
  Alex authored 4 years ago
  
  7e25e710
Jul 24, 2020
- refactor: cleaning build, old resources · 13d51d8b
  Alex authored 4 years ago
  
  13d51d8b