Repository navigation

ci: [Backport] Update of dependencies and bug fixing - #3842

Merged

michalChrobot merged 7 commits into

ci-update-develop

Jan 19, 2026

Merged

ci: [Backport] Update of dependencies and bug fixing#3842
michalChrobot merged 7 commits into
developfrom
ci-update-develop

Commits on Jan 15, 2026
- updated actions/checkout
  michalChrobot
  committed
  f40448d
- Updated builds made with release automation
  michalChrobot
  committed
  98e782b
- updated default CI editor
  michalChrobot
  committed
  faa4331
- Updated wrench and other CI dependencies
  michalChrobot
  committed
  cef6e6a
- Updated dfault and minimal editor handling
  michalChrobot
  committed
  2e3ff16
- removed unnecessary directive
  michalChrobot
  committed
  23b3557
Commits on Jan 19, 2026
- reverted the directive removal and disabled the untrue warning
  michalChrobot
  committed
  e4bb0b1