mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-27 22:15:07 +01:00
Code Issues Projects Releases Packages Wiki Activity

CI: TODO for deploy

Browse source
This commit is contained in:
Henrik Tjäder 2023-02-24 22:26:43 +01:00
parent 073e41d03d
commit 1b699c656f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View file

@ -475,6 +475,8 @@ jobs:
# runs-on: ubuntu-22.04 # runs-on: ubuntu-22.04
# needs: # needs:
# mergetostablebranch # mergetostablebranch
# docs
# mdbook
# #
# # Only run this when pushing to master branch # # Only run this when pushing to master branch
# if: github.ref == 'refs/heads/master' # if: github.ref == 'refs/heads/master'
@ -509,6 +511,7 @@ jobs:
# - name: Remove cargo-config # - name: Remove cargo-config
# run: rm -f .cargo/config # run: rm -f .cargo/config
# #
# # TODO: Download API docs artifacts instead
# - name: Build docs # - name: Build docs
# run: cargo doc # run: cargo doc
# #
@ -558,6 +561,7 @@ jobs:
# fi # fi
# #
# # Build books # # Build books
# # TODO: Download books artifacts instead
# for lang in ${langs[@]}; do # for lang in ${langs[@]}; do
# ( cd book/$lang && # ( cd book/$lang &&
# if mdbook build |& tee /dev/tty | grep "\[ERROR\]"; then exit 1; else exit 0; fi # if mdbook build |& tee /dev/tty | grep "\[ERROR\]"; then exit 1; else exit 0; fi