Skip to content
Build and deploy documentation

Merge branch 'prod' of github.com:mia-platform/documentation into prod #14754

Sign in to view logs

Merge branch 'prod' of github.com:mia-platform/documentation into prod

Merge branch 'prod' of github.com:mia-platform/documentation into prod #14754

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Install and verify contents
55s
Build docker image
10m 27s
Deploy documentation trigger
2s
11m 24s