Skip to content

Improve workflow to update dependencies#789

Merged
edoardopirovano merged 1 commit intogithub:mainfrom
edoardopirovano:secure-workflow
Oct 22, 2021
Merged

Improve workflow to update dependencies#789
edoardopirovano merged 1 commit intogithub:mainfrom
edoardopirovano:secure-workflow

Commits

Commits on Oct 22, 2021