Skip to content
CI

Update make.jl for documentation generation and add deploydocs options #124

Sign in to view logs

Update make.jl for documentation generation and add deploydocs options

Update make.jl for documentation generation and add deploydocs options #124

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Documentation
2m 35s
Julia nightly - ubuntu-latest - x64 - push
57s
Julia nightly - macos-latest - x64 - push
1m 48s
Julia nightly - windows-latest - x64 - push
1m 40s
7m 0s