2023.07

We are happy to announce Dodona 2023.07! We are now deploying changes to dodona.ugent.be as soon as they are merged in the main branch. To provide an overview of the changes, we'll keep you updated with monthly GitHub releases.

This release has no big user-facing changes. The biggest change is that dropdown menus can now be navigated by using the arrow keys. In addition, a few bug related to the new annotation features in Dodona 6.8 were fixed.

---

What's Changed

✨ Changes

• Select datalist dropdown options using arrow keys by @jorg-vr in #4699
• Reduce sleep time between stats collections to 200ms by @chvp in #4802

🐛 Bug Fixes

• Fix combination of line highlight and annotation color by @jorg-vr in #4675
• Fix user nil error for saved annotations by @jorg-vr in #4697
• Greatly reduce lag caused by annotation hover by @jorg-vr in #4747
• Remove on hover highlight for annotations by @jorg-vr in #4771

🧰 Maintenance

• Replace mentions of 'master' and 'develop' by 'main' by @jorg-vr in #4686
• Add github action to deploy to production by @jorg-vr in #4687
• Automatically trigger github action to deploy on pull request merge by @jorg-vr in #4702
• Set version as timestamp during rails initialization by @jorg-vr in #4705

Full Changelog: 6.8.6...2023.07