diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d2ce056e..1c0a5baa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -70,8 +70,7 @@ jobs: - name: "Install PAPI" run: | sudo apt-get install -y libpapi-dev - outputs: - FLAG_PAPI: "-fBenchPAPI" + echo FLAG_PAPI=-fBenchPAPI >> "$GITHUB_ENV" if: matrix.os == 'ubuntu-latest' # ---------------- - name: Versions