Implementation Details of CI Providers

Authored by:Patrick Schratz intic 0.14.0.
Source:ci-providers.Rmd, Vignette:ci-providers.html. Last updated:2023-05-22.