Optimize CI
While it is fine as it is, more things could be improved.
-
Custom runner -
CI cache for STACK_ROOT and STACK_WORK -
Pre-built docker image -
Separate --resolver nightly
rebuild -
Documentation upload to pages
Edited by IC Rainbow