add src to artifact

aibasel · Apr 17, 2024 · 745b38e · 745b38e
1 parent e73ddc5
commit 745b38e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -98,7 +98,7 @@ jobs:
         # only need to archive that one.
         if: ${{ matrix.version.run_tox_tests }}
         run: |
-          files_to_archive="fast-downward.py driver misc builds/debug/bin/ \
+          files_to_archive="fast-downward.py driver misc src builds/debug/bin/ \
                             builds/release/bin/ ${SOPLEX_LIB} ${SOPLEX_INCLUDE}"
           if [[ ! -z "${CPLEX_URL}" ]]; then
             files_to_archive="${files_to_archive} ${CPLEX_LIB}"