Closed semercim closed 2 years ago
Even though the pdfs are created by CI pipeline, they are not reachable from the website.
@astonzhang should we make a new release with this fix? The release version is still broken.
Sure. Please send a PR to merge master to release. If it looks good to you, merge it (by creating a merge commit).
Even though the pdfs are created by CI pipeline, they are not reachable from the website.