PR #1836 ci: fix issues and lint with zizmor

ci: fix issues and lint with zizmor #1836

dunglas merged 1 commit into main from fix/zizmor

dunglas force pushed from 5c93b71c to a7e57bae 272 days ago

dunglas force pushed from a7e57bae to 83ff6f19 272 days ago

dunglas force pushed from 83ff6f19 to b6824567 271 days ago

dunglas force pushed from b6824567 to 1750d783 270 days ago

dunglas force pushed from 1750d783 to f5c546dc 270 days ago

dunglas force pushed from f5c546dc to 6e64c8ce 270 days ago

ci: fix issues and lint with zizmor

7425e259

dunglas force pushed from 6e64c8ce to 7425e259 270 days ago

dunglas merged 1030e4ce into main 270 days ago

dunglas deleted the fix/zizmor branch 270 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone