Repository navigation

Bump versions - #40

Merged

amrabed merged 6 commits into

mainfrom

Sep 19, 2025

Commits on Sep 19, 2025
- Update Dependaot versioning strategy
  amrabed
  committed
  efeb017
- Bump versions of GitHub actions
  amrabed
  committed
  4ac553e
- Merge main
  amrabed
  committed
  c9e66c7
- Group updates in one PR
  amrabed
  committed
  6fb9b6d
- Fix indentation
  amrabed
  committed
  0479cb5
- Add PR type to PR template
  amrabed
  committed
  addb92c