From 8a683540a809e8e76a22e7ff2486928344ad9203 Mon Sep 17 00:00:00 2001 From: Silvio Traversaro Date: Tue, 3 Dec 2024 16:24:00 +0100 Subject: [PATCH] Update pixi-ci.yml --- .github/workflows/pixi-ci.yml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pixi-ci.yml b/.github/workflows/pixi-ci.yml index 1bd9454ae..35442f4a7 100644 --- a/.github/workflows/pixi-ci.yml +++ b/.github/workflows/pixi-ci.yml @@ -59,7 +59,8 @@ jobs: - uses: prefix-dev/setup-pixi@v0.8.1 - - name: Build + - name: Workaround on Windows + if: contains(matrix.os, 'windows') shell: bash run: | # Avoid YCM complaining that the git user is not set @@ -72,4 +73,12 @@ jobs: pixi run configure-all # Workaround for build-ros2 builds pixi run configure-ros2 + + - name: Build + shell: bash + run: | + # Avoid YCM complaining that the git user is not set + # Eventually we could consider removing that check in YCM + git config --global user.name PixiGHA User + git config --global user.email pixighauser@example.com pixi run ${{ matrix.pixi_task }}