The new workflow will check if there was a successful run of a pull request build. It will then add/adjust a comment which will link directly to the created artifacts (PDF and HTML).
This will only work for existing PRs if they are rebased onto main after this PR is merged.
The new workflow will check if there was a successful run of a pull request build. It will then add/adjust a comment which will link directly to the created artifacts (PDF and HTML).
This will only work for existing PRs if they are rebased onto main after this PR is merged.
see #28