Imrane Amri
Imrane Amri
There's no need to pursue this PR; the other PR covers the fixes intended by this branch.
Yes let's. I think the build will fail regardless because of lack of permissions though.
We may need to tweak some repository settings to get this workflow to work from PRs. I'm getting the `Error: resource not available by integration` issue.
So this works on my profile. What you should do is generate a PAT with the right permissions. Then a merge should do it.
Once that's done, we could merge this to a branch other than main. Then, I'll open a PR to that branch and if the workflow triggers successfully we can merge...