Théo Zimmermann (Oct 15 2020 at 15:22): Théo Zimmermann (Oct 15 2020 at 15:22):I tried using gitpod.io that @Bas Spitters mentioned on Twitter today. Workspaces can be configured by providing a Docker image using a .gitpod.yml file. I did one attempt with coqorg/coq:latest and one with registry.gitlab.com/coq/coq:bionic_coq-V2020-10-12-V89 (the current CI image of Coq) and both failed because you do get opam but it is not initialized (the pre-built switches are lost). Anyone had better luck?
Théo Zimmermann (Oct 15 2020 at 15:30):Another attempt with a Nix image also failed because gitpod wants to add its own layer on top, but it's clearly not prepared to do so on a Nix image that is nowhere close to what it expects.
Théo Zimmermann (Mar 15 2021 at 15:00):@Cyril Cohen had more success by using the gitpod Docker image and installing Nix on top. See https://coq.zulipchat.com/#narrow/stream/237662-VsCoq-devs.20.26.20users/topic/VsCoq.20in.20gitpod.2C.20issue.20coq-community.2Fvscoq.23219
Last updated: Sep 30 2023 at 05:01 UTC