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

ci: turn on jactionlint's default profile

b9e60f6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Sanity Checks
succeeded Oct 16, 2026 in 48s