From afe21b75169153606d7d5ce2d31f6a5e9c5cf209 Mon Sep 17 00:00:00 2001
From: Silvio Traversaro <silvio.traversaro@iit.it>
Date: Tue, 23 Apr 2024 10:53:18 +0200
Subject: [PATCH] Do not call pixi when pixi is not installed

Co-authored-by: Pavel Zwerschke <pavelzw@gmail.com>
---
 .github/workflows/pixi-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/pixi-ci.yml b/.github/workflows/pixi-ci.yml
index 46a3595..f4e8113 100644
--- a/.github/workflows/pixi-ci.yml
+++ b/.github/workflows/pixi-ci.yml
@@ -32,9 +32,7 @@ jobs:
       if: github.event_name == 'schedule' || (github.event_name == 'workflow_dispatch' && github.event.inputs.delete_pixi_lock == 'true')
       shell: bash
       run: |
-        rm -rf pixi.lock
-        pixi list
-        cat pixi.lock
+        rm pixi.lock
 
     - name: Print used environment
       shell: bash