CHANGELOG.md



To find the state of this project's repository at the time of any of these versions, check out the tags.


Changelog
All notable changes to this project will be documented in this file. Dates are displayed in UTC.
Generated by auto-changelog.

v0.1.12


v1.0.1


7 July 2022


fix: bugs in startup 25ab772

fix: removed '-' from usernames, added new field 'userID' f8f2c4f

ci: prioritized release over pre-release eff45dc


0.1.11


4 July 2022


feat: merged recorder in the extension bb4c883

refactor: code_review_1 21f1fb2

feat-launch_challenge_commands 2a605df


0.1.10


10 June 2022


feat: added jest tests ec136f8

feat(extension): login, open in devcontainer, automaticly save code, open briefing, publish extension 0ecbf55

feat: add authentication + directory picking + redirection link f225653


0.1.5

16 May 2022


feat: publish_extension_on_marketplace_with_ci #5

fix(view): open Help panel by default + fix split screen on views opening after several restarts #2

Feat theia professor #4

Pull on start #3

feat: git pull on startup, refactor user-challenge config #2

feat: use new theia build 43dee03

chores: clean theia resources 8a8ab05

refactor: apply some recommendation cc647f5