You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Turns out I made a stupid mistake in #101: Build artifacts (such as the PDFs) produced by GitHub Actions are only visible to repository maintainers, which means that foreign people do not have any chance to grab the latest PDFs.
For this reason, we should re-enable automated (pre)releases here on GitHub. On it.
The text was updated successfully, but these errors were encountered:
Turns out I made a stupid mistake in #101: Build artifacts (such as the PDFs) produced by GitHub Actions are only visible to repository maintainers, which means that foreign people do not have any chance to grab the latest PDFs.
For this reason, we should re-enable automated (pre)releases here on GitHub. On it.
The text was updated successfully, but these errors were encountered: