Commits · 05fbda7d7fc37dfe70621ab5467dbc86dbcc997f · deadlock-public / deadlock-theia

Dec 07, 2021
- fix(ci): before script broken · 05fbda7d
  Alexandra authored 3 years ago
  
  05fbda7d
- chores: update theia version to deadlock one · f780b818
  Alex authored 3 years ago
  
  f780b818
- ci: add tag params to image building · 337854b0
  Alex authored 3 years ago
  
  337854b0
- docs: complete with instructions · 70b671af
  Alex authored 3 years ago
  
  70b671af
- chores: clean theia resources · 8a8ab05c
  Alex authored 3 years ago
  
  8a8ab05c
- fix: deadlock extension with bundler · 52754156
  Alex authored 3 years ago
  
  52754156
- 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
Jun 08, 2021
- fix: delete theia from sudoers · 987d9e6f
  Alex authored 4 years ago
  
  987d9e6f
- chores: format code · a3b34345
  Alex authored 4 years ago
  
  a3b34345
Jun 04, 2021
- fix: write PS4 var · 94b4b794
  Alex authored 4 years ago
  
  94b4b794
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
- chore: attempt to docker in theia · b8673dc9
  Alexandra authored 4 years ago
  
  b8673dc9
Nov 27, 2020
- feat: adapt adresses for different env · e57946c9
  Alex authored 4 years ago
  
  e57946c9
- build: 1.1 · 86e8744a
  Alex authored 4 years ago
  
  View commits for tag 1.1 1.1
  
  86e8744a
Nov 26, 2020
- fix: add missing vsce for extension · 74d06573
  Alex authored 4 years ago
  
  74d06573
- fix: gitignore not ignoring vsix files · ca1f0e8c
  Alex authored 4 years ago
  
  ca1f0e8c
- chore: remove generated vsix on git · 5fbbd86e
  Alex authored 4 years ago
  
  5fbbd86e
- fix: preStop was missing in final Docker image · 112f4d09
  Alex authored 4 years ago
  
  112f4d09
- refactor: clear commented code · 55c32167
  Alex authored 4 years ago
  
  55c32167
Nov 25, 2020
- Merge branch 'feat-theia-professor' into 'master' · 08759652
  Alex authored 4 years ago
  08759652
- ci: build the all theia · 4c245548
  Alex authored 4 years ago
  
  4c245548
- 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
- add CHANGELOG · 58d693ca
  Alex authored 4 years ago
  
  58d693ca
- Merge branch 'pull-on-start' into 'master' · 5b4fbeff
  Alex authored 4 years ago
  5b4fbeff
- feat: git integration to pull/push user code · 70ecbe71
  Alex authored 4 years ago
  
  70ecbe71
- chore: clear nonuse file · 4c85987e
  Alex authored 4 years ago
  
  4c85987e
Oct 12, 2020
- chore: clear nonuse file · 16494f67
  Alex authored 4 years ago
  
  16494f67
- Merge branch 'feat-record-command' into 'master' · 659a3357
  Alex authored 4 years ago
  659a3357
- feat: git pull on startup, refactor user-challenge config · 2150a773
  Alex authored 4 years ago
  
  2150a773
Aug 27, 2020
- fix: set / to href attribute · 72c9ba87
  Alex authored 4 years ago
  
  72c9ba87
- fix: broken redirection for web resources, ignore port 3000 on list · a2bdf6cd
  Alex authored 4 years ago
  
  a2bdf6cd
- fix: rm old theia dependency · 0a7f1b9b
  Alex authored 4 years ago
  
  0a7f1b9b
- chore: increase theia-java to 1.4.0 · dbd873c8
  Alex authored 4 years ago
  
  dbd873c8
Aug 05, 2020
- style: set correct deadlock logo · 88a92baa
  Alex authored 4 years ago
  
  88a92baa
- style: remove default title for each View · c3cce339
  Alex authored 4 years ago
  
  c3cce339
- fix: origin may be undefined · 77fe8ae2
  Alex authored 4 years ago
  
  77fe8ae2
- fix: close bracket · 628d8b67
  Alex authored 4 years ago
  
  628d8b67