From 1f56d84e3e08b1dded91145e5c1dfc83dd15196d Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Fri, 28 Apr 2023 01:17:52 +0100
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8c0077f..90f1f8a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,6 +6,7 @@ build:
tags: ["x64"]
script:
- echo $SHELL
+ - eval "$(micromamba shell hook --shell=bash)"
- micromamba activate
- sage -pip install "pseudowalls==0.0.3" --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
- make || echo make failed
--
GitLab