chore(master): release 0.9.5

[github-actions]

---

0.9.5 (2024-09-18)

⚠ BREAKING CHANGES

• gitlab: The REST API endpoint gitlab_projects now includes pagination details.

Build

• docker: fix FromAsCasing warning (#411) (b203d93), closes #410

Features

• file-preview: allow preview of gherkin feature files (#412) (77d55b7)
• gitlab: add filtering for GitLab project lists (#403) (c2e8b6c)
• gitlab: add pagination for GitLab project lists (#403) (d403634)
• progress: add circular progress bar in workflow list page (#394) (7f4f1ac)
• sessions: add modal for choosing session environment (#405) (7a83b20)
• ui: add dropdowns for filtering shared workflows (#375) (ea20030), closes #367
• ui: add workflow sharing modal (#375) (7722ff3), closes #651
• ui: make details available for shared workflows (#375) (089853f)
• workflow-list: redesign subtler progress bar and badges (#394) (660584e)
• workflow-list: unify badge style and remove nested links (#394) (d623ff4)

Bug fixes

• gitlab: redirect user to repository after clicking on name (#406) (9b0c589), closes #356
• ui: fix workflow sharing interface after UI changes (#375) (83eee02)

Code refactoring

• workflow-badges: centralise list and details components (#394) (fa65bb5), closes #151 #395

Continuous integration

• actions: update GitHub actions due to Node 16 deprecation (#401) (43ced0c)
• actions: upgrade to Ubuntu 24.04 and Python 3.12 (#409) (1561a4b)
• commitlint: improve checking of merge commits (#409) (c066472)

---