Skip to content

Merge pull request #415 from ocsigen/dependabot/github_actions/action… #758

Merge pull request #415 from ocsigen/dependabot/github_actions/action…

Merge pull request #415 from ocsigen/dependabot/github_actions/action… #758

Annotations

1 error

Auto-Merge PRs by Dependabot

succeeded May 10, 2024 in 3s