CI: Adapt pr_info_post to github-script v7 breaking changes
Since v5, the method have been moved. This is not caught by CI as it
only uses the workflow in the master branch.
1 parent b48bf29 commit a8da51eb8a5485956622282f2339ec5a39c8c761
@Mathias Lang Mathias Lang authored on 22 Jun
Mathias LANG committed on 22 Jun
Showing 1 changed file
View
.github/workflows/pr_info_post.yml