release.yaml 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. name: Release Documentation
  2. on:
  3. release:
  4. types: [published]
  5. jobs:
  6. docs:
  7. name: Build release documentation
  8. runs-on: ubuntu-20.04
  9. steps:
  10. - uses: actions/checkout@v2
  11. - uses: actions/setup-node@v1
  12. - name: Install Doxygen 1.8.6
  13. run: |
  14. wget http://archive.ubuntu.com/ubuntu/pool/main/d/doxygen/doxygen_1.8.6-2_amd64.deb
  15. sudo dpkg -i doxygen_1.8.6-2_amd64.deb
  16. - name: Install mscgen 0.20
  17. run: |
  18. sudo apt-get update
  19. sudo apt-get install --no-install-recommends -y mscgen=0.20-12
  20. - name: Generate doxygen
  21. run: CMSIS/DoxyGen/gen_doc.sh
  22. - name: Archive documentation
  23. run: |
  24. cd CMSIS/Documentation
  25. tar -cvjf /tmp/doc.tbz2 .
  26. - uses: actions/checkout@v2
  27. with:
  28. ref: gh-pages
  29. - name: Publish documentation
  30. run: |
  31. RELEASE=${GITHUB_REF}
  32. rm -r ${RELEASE}
  33. mkdir ${RELEASE}
  34. rm latest
  35. ln -s ${RELEASE} latest
  36. cd RELEASE
  37. tar -xvjf /tmp/doc.tbz2
  38. git config user.name github-actions
  39. git config user.email github-actions@github.com
  40. git add . ../latest
  41. git commit -m "Update documentation for release ${RELEASE}"
  42. git push