Skip to content

ci: Use actionlint in CI - #112

Merged
edgarrmondragon merged 1 commit into
mainfrom
ci/actionlint
Feb 15, 2026
Merged

ci: Use actionlint in CI#112
edgarrmondragon merged 1 commit into
mainfrom
ci/actionlint