Branches

• main default protected

  62fa1022 · Merge branch 'devel' into 'main' · Oct 31, 2025
• devel

  24ab0d79 · Add .gitlab-ci.yml · Oct 31, 2025
  !1