gallo/atrip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add with-clang to ci

Browse Source
This commit is contained in:
Alejandro Gallo 2021-10-12 19:11:20 +02:00
parent 93638c4488
commit 3446c6abba
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
.github/workflows/main.yml vendored
View File

@ -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: |