Full workspace template for GitPod. Provides extensions and tools for CI students. - View it on GitHub