Repository navigation

GitHub workflows: bump actions to their latest versions - #190

Merged

untitaker merged 1 commit into

untitaker:mainfrom

deining:bump-workflows

Nov 25, 2025

Merged

GitHub workflows: bump actions to their latest versions#190
untitaker merged 1 commit into
untitaker:mainfrom
deining:bump-workflows

Commits on Nov 25, 2025
- GitHub workflows: bump actions to their latest versions
  
  urban-adeininger
  authored and
  deining
  committed
  e8a568a