Dodona 2023.07 released

[jorg-vr]

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 Select datalist dropdown options using arrow keys #4699
• Reduce sleep time between stats collections to 200ms by @chvp in Reduce sleep time between stats collections to 200ms #4802

🐛 Bug Fixes

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

🧰 Maintenance

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

Full Changelog: 6.8.6...2023.07

---

This discussion was created from the release 2023.07.