Given the size of the repository, we spend an inordinate time in CI for each step just cloning the repository (sometimes upto ~7 mins^1); an inefficiency that is obviously problematic.
Fix this, by performing only a shallow checkout of the repository using the hasura/smooth-checkout plugin. The steps defined in the WebUI have also been updated to do the same. This brings down the repository checkout time significantly, to just 1-2s^2.
Since the documentation workflow will require switching branches and pushing to the repository, additionally fetch just the HEAD of gh-pages in that workflow before actually building and trying to deploy the documentation.
Given the size of the repository, we spend an inordinate time in CI for each step just cloning the repository (sometimes upto ~7 mins^1); an inefficiency that is obviously problematic. Fix this, by performing only a shallow checkout of the repository using the
hasura/smooth-checkoutplugin. The steps defined in the WebUI have also been updated to do the same. This brings down the repository checkout time significantly, to just 1-2s^2.Since the documentation workflow will require switching branches and pushing to the repository, additionally fetch just the
HEADofgh-pagesin that workflow before actually building and trying to deploy the documentation.