Branches

• cleanup-ivas-float-update-remains

  399d7d83 · add comments for the various exec naming vars · Dec 02, 2025
  !62
• fix-name-checks-basop-ci

  3263ad0d · rename script and job for clarity · Dec 05, 2025
• remove-main-push-pipeline-float

  c02b97d3 · do not spawn pipelines on pushes to main or float anymore · Dec 16, 2025