Skip to content
Build and deploy documentation

Fix merge mistakes -- TODO: amend to the appropriate commits instead #26

Sign in to view logs

Fix merge mistakes -- TODO: amend to the appropriate commits instead

Fix merge mistakes -- TODO: amend to the appropriate commits instead #26

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-documentation (ubuntu-latest)
42s
42s