Skip to content
Snippets Groups Projects
Verified Commit e40f854f authored by orestis.malaspin's avatar orestis.malaspin
Browse files

Merge branch 'main' into part04summary

parents 3976db58 06adb4e6
No related branches found
No related tags found
3 merge requests!34Switches part05 and part06,!31Adds part05summary,!26Adds part04 in summaries
Pipeline #25451 passed
...@@ -34,19 +34,33 @@ before_script: ...@@ -34,19 +34,33 @@ before_script:
- echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
- chmod 644 ~/.ssh/known_hosts - chmod 644 ~/.ssh/known_hosts
stages:
- test
- build
- deploy
test:cargo: test:cargo:
stage: test
script: script:
- rustc --version && cargo --version # Print version info for debugging - rustc --version && cargo --version # Print version info for debugging
run_test_doc: build:codes:
stage: build
script: script:
- cd codes - cd codes
- ./run_tests.sh - ./run_tests.sh
- cd ../book
build:book:
stage: build
script:
- cd book
- mdbook test - mdbook test
- mdbook build - mdbook build
run_deploy_book: deploy:book:
stage: deploy
only:
- main
script: script:
- cd book - cd book
- mdbook build - mdbook build
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment