Skip to content

ci: turn on jactionlint's default profile - #7

Merged
robinbowes merged 1 commit into
mainfrom
ci/jactionlint-default
Oct 16, 2026
Merged

robinbowes merged 1 commit into
mainfrom
ci/jactionlint-default

Commits

  1. Commits on Oct 16, 2026