From 2b3af6ceba1e03c284f96195d9d98ed72b7b2a1d Mon Sep 17 00:00:00 2001 From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com> Date: Thu, 23 Nov 2023 18:09:05 +0000 Subject: [PATCH 1/2] Update ci.yml --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 50698c2..d6a3860 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,7 +22,7 @@ jobs: env: OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda" - OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc" + OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://github.com/ric-almeida/isla-lang.git" CPU_CORES: "1" DENY_WARNINGS: "1" CI_RUNNER: "dummy" From 28d9880a253e482ec14e16d5e3cf87ff601b42a4 Mon Sep 17 00:00:00 2001 From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com> Date: Thu, 23 Nov 2023 18:12:25 +0000 Subject: [PATCH 2/2] Update .gitlab-ci.yml --- .gitlab-ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 83f61bc..d8b6903 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -33,7 +33,7 @@ variables: build-coq.8.17.0-timing: <<: *template variables: - OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc" + OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://github.com/ric-almeida/isla-lang.git" DENY_WARNINGS: "1" # OPAM_PKG: "1" only: @@ -46,7 +46,7 @@ build-coq.8.17.0-timing: build-coq.8.17.0: <<: *template variables: - OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc" + OPAM_PINS: "coq version 8.17.0 isla-lang git git+https://github.com/ric-almeida/isla-lang.git" DENY_WARNINGS: "1" only: - /^ci/@iris/isla-coq @@ -54,7 +54,7 @@ build-coq.8.17.0: trigger-iris.dev: <<: *template variables: - OPAM_PINS: "coq version 8.17.0 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV isla-lang git git+https://git@github.com/rems-project/isla-lang.git#4ee3daa3a9f04b2d6a55dd94026ff5f9d79db5fc" + OPAM_PINS: "coq version 8.17.0 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV isla-lang git git+https://github.com/ric-almeida/isla-lang.git" except: only: - triggers