Skip to content

Follow the Actions minutes rules in CI - #6

Merged
mgilardi merged 1 commit into
mainfrom
ci-minutes
Nov 10, 2026
Merged

mgilardi merged 1 commit into
mainfrom
ci-minutes

Commits

  1. Commits on Nov 10, 2026