File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -298,7 +298,7 @@ jobs:
298298 - name : Build examples
299299 run : docker exec build /bin/bash -c "mkdir ../examples_build && cd ../examples_build && cmake ../src/examples -DCMAKE_BUILD_TYPE=Release && cmake --build . -- -j 2 "
300300 - name : Append documentation for the latest release version
301- if : (! startsWith(github.ref, 'refs/heads/develop') ) && matrix.shared == 'shared' && matrix.boost == 'stdfs' && matrix.mpi == 'serial'
301+ if : startsWith(github.ref, 'refs/heads/develop') && matrix.shared == 'shared' && matrix.boost == 'stdfs' && matrix.mpi == 'serial'
302302 run : |
303303 docker exec --user root build /bin/bash -c "chown -R p00user /home/p00user/src"
304304 docker exec build /bin/bash -c "git config --unset-all remote.origin.fetch"
You can’t perform that action at this time.
0 commit comments