-
Free up the assignment name after deleting an assignment 6 of 7 checklist items completedcore!43 Bug fixes
- Merged
- 2
- Approved
updated -
Latest support 0 of 4 checklist items completedcore!42
- Merged
- Approved
updated -
Fixes bug where worker busy-ness would always be 100 7 of 7 checklist items completedcore!41 Withstand stress testing
- Merged
- Approved
updated -
Set the global logging level to debug 3 of 4 checklist items completedcore!40
- Merged
- Approved
updated -
Prometheus 6 of 7 checklist items completedcore!39 Withstand stress testing
- Merged
- Approved
updated -
Also do not allow empty CLI arguments 6 of 7 checklist items completedcore!38
- Merged
- Approved
updated -
Better image building 3 of 4 checklist items completedcore!37 Withstand stress testing
- Merged
- 3
- Approved
updated -
Refactor the settings code to allow incremental updates and protected keys 7 of 7 checklist items completedcore!36 Front-end UI overhaul
- Merged
- 4
- Approved
updated -
Fix flaky test 7 of 7 checklist items completedcore!35 Bug fixes
- Merged
- Approved
updated -
Add random worker names when no worker name is defined on start up 7 of 7 checklist items completedcore!34 Worker management overhaul
- Merged
- Approved
updated -
Encrypted JUMP 7 of 7 checklist items completedcore!33 GDPR compliance
- Merged
- 1
- Approved
updated -
Add a second trampoline job with more relaxed requirements 3 of 4 checklist items completedcore!32 Withstand stress testing
- Merged
- Approved
updated -
Add a dockerfile and a script building "slim" AuTA images 4 of 4 checklist items completedcore!31
- Merged
- Approved
updated -
Make the MongoDB connection configurable through GlobalSettings 7 of 7 checklist items completedcore!30
- Merged
- Approved
updated -
Introduce the SecurityAgent, which assesses and enforces system security 7 of 7 checklist items completedcore!29 GDPR compliance
- Merged
- 6
- Approved
updated -
Fix the user update endpoint not working 7 of 7 checklist items completedcore!28
- Merged
- Approved
updated -
- Merged
- Approved
updated -
Add a checkstyle job to the CI pipeline 4 of 4 checklist items completedcore!25
- Merged
- Approved
updated -
CORS 7 of 7 checklist items completedcore!24 Front-end UI overhaul
- Merged
- 18
- Approved
updated