Skip to content
Publish GitHub Pages

Merge pull request #271 from elbeno/optional-applicative #260

Sign in to view logs

Merge pull request #271 from elbeno/optional-applicative

Merge pull request #271 from elbeno/optional-applicative #260

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Configure Github Pages Publishing
5s
Build Documentation
1m 44s
Deploy Documentation
11s
2m 0s