max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ci: use matrix OS for build artifact name

Browse source
This commit is contained in:
tydeu 2021-10-20 16:44:54 -04:00
parent 7cbde2c852
commit 29975edb0e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -58,7 +58,7 @@ jobs:
continue-on-error: true
uses: actions/upload-artifact@v2
with:
name: Build
name: {{ matrix.os }}
path: build
- name: Check Lake
run: make -C examples check-lake