updated workflow

old-with-submodules
Antonio De Lucreziis 2 years ago
parent d3127bae4d
commit ceb40a6236

@ -26,6 +26,8 @@ jobs:
- name: Build - name: Build
run: | run: |
pwd
ls deps/petsc
git submodule init git submodule init
git submodule update git submodule update
make make

Loading…
Cancel
Save