From 422c101ebee8a8db2e0d9a11f9525ba8e8ff0b4c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 28 Sep 2022 08:26:37 +0200
Subject: [PATCH] [ci] check that Frama-C can be run after pin
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3ff7baef0bf..1fb6ae421f7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -326,6 +326,7 @@ ocaml-versions-nightly:
- opam pin . -n
- opam depext frama-c --with-test
- opam install --jobs 2 frama-c --with-test
+ - frama-c -version
tags:
- docker
--
GitLab