Stream: Coq users

Topic: Gitpod


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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: Feb 08 2023 at 22:03 UTC