Add docker image caching; split build job into build, test, check format jobs; add docs job #6
Reference in New Issue
Block a user
Delete Branch "feature/split-ci-into-more-jobs"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Future stuff:
c35db0f2e551dc661to3e660f43433e660f4343to34662a99cd0759c64513to86b6150afdb92a70039dtoe5369812d7cb8d663af5toc5456279a17c255cf8ddto6794966fff6794966ffftoc3bf7ff49fc3bf7ff49fto632e0b0d33632e0b0d33to48bfc3073848bfc30738to873af26d8b873af26d8bto5b101452765b10145276toe60f4def11e60f4def11to069127e719069127e719toa3a8110658f30963981fto9cf9b215939cf9b21593to5006b8f150c97943146btoe8852c0109e8852c0109to3d8e5f0f0c4715d0b1dato7861a0ccb31f3d3d1b1fto54971bf9242bbdfbecabto710c8593f91f25d97994to4b8dbcea2e4b8dbcea2eto818b352a6e818b352a6eto2a78aed2a12a78aed2a1tobe723914e02c9dc10f99tof996179738cb2ef59724to0be4cd65a70be4cd65a7toea7065fb2bea7065fb2btoab1bf0fae1WIP: feature/split-ci-into-more-jobsto Add docker image caching; split build job into build, test, check format jobs; add docs jobab1bf0fae1tod331ac62fad331ac62fatoc82152a365