From 3446c6abbadb5c0ff7f030cb35654fae2cb886b6 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Tue, 12 Oct 2021 19:11:20 +0200 Subject: [PATCH] Add with-clang to ci --- .github/workflows/main.yml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index df3504f..7527607 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,23 +31,23 @@ jobs: run: nix-shell --run 'make tangle' ## TODO: do this in a matrix - - name: gcc -> Build external dependencies + - name: gcc → Build external dependencies run: nix-shell --run 'make extern CONFIG=gcc' - - name: gcc -> Build lib + - name: gcc → Build lib run: nix-shell --run 'make lib CONFIG=gcc' - - name: gcc -> Build bench + - name: gcc → Build bench run: nix-shell --run 'make bench CONFIG=gcc' - - name: clang -> Build external dependencies - run: nix-shell --run 'make extern CONFIG=clang' + - name: clang → Build external dependencies + run: nix-shell --arg with-clang true --run 'make extern CONFIG=clang' - - name: clang -> Build lib - run: nix-shell --run 'make lib CONFIG=clang' + - name: clang → Build lib + run: nix-shell --arg with-clang true --run 'make lib CONFIG=clang' - - name: clang -> Build bench - run: nix-shell --run 'make bench CONFIG=clang' + - name: clang → Build bench + run: nix-shell --arg with-clang true --run 'make bench CONFIG=clang' - name: create doc run: |