Closed lorenzoh closed 2 years ago
This sets up Pollen.jl as the documentation generator. Follow-up PR with changes to the documentation for better navigation to come; this PR is for making sure the GitHub Actions work
This sets up Pollen.jl as the documentation generator. Follow-up PR with changes to the documentation for better navigation to come; this PR is for making sure the GitHub Actions work