@@ -55,17 +55,17 @@ jobs:
5555 - name : Build CRD
5656 run : cd docs/crd && make -j2
5757
58- - name : Upload CRD PDF
58+ - name : Upload CRD PDFs
5959 uses : actions/upload-artifact@v6
6060 with :
61- name : rvi20_crd. pdf
62- path : docs/crd/build/rvi20_crd .pdf
61+ name : crd- pdf
62+ path : docs/crd/build/* .pdf
6363
64- - name : Upload CRD HTML
64+ - name : Upload CRD HTMLs
6565 uses : actions/upload-artifact@v6
6666 with :
67- name : rvi20_crd. html
68- path : docs/crd/build/rvi20_crd .html
67+ name : crd- html
68+ path : docs/crd/build/* .html
6969
7070 release :
7171 needs : [build-ctp, build-crd]
@@ -83,16 +83,16 @@ jobs:
8383 name : ctp.html
8484 path : ./
8585
86- - name : Download CRD PDF
86+ - name : Download CRD PDFs
8787 uses : actions/download-artifact@v7
8888 with :
89- name : rvi20_crd. pdf
89+ name : crd- pdf
9090 path : ./
9191
92- - name : Download CRD HTML
92+ - name : Download CRD HTMLs
9393 uses : actions/download-artifact@v7
9494 with :
95- name : rvi20_crd. html
95+ name : crd- html
9696 path : ./
9797
9898 - name : Get current date
@@ -114,6 +114,8 @@ jobs:
114114 ctp.html
115115 rvi20_crd.pdf
116116 rvi20_crd.html
117+ mc100_crd.pdf
118+ mc100_crd.html
117119
118120 deploy-pages :
119121 needs : [build-ctp, build-crd]
@@ -122,43 +124,26 @@ jobs:
122124 name : github-pages
123125 url : ${{ steps.deployment.outputs.page_url }}
124126 steps :
127+ - uses : actions/checkout@v6
128+ with :
129+ sparse-checkout : docs/pages
130+
125131 - name : Download CTP HTML
126132 uses : actions/download-artifact@v7
127133 with :
128134 name : ctp.html
129- path : ./github- pages/ctp
135+ path : docs/ pages
130136
131- - name : Download CRD HTML
137+ - name : Download CRD HTMLs
132138 uses : actions/download-artifact@v7
133139 with :
134- name : rvi20_crd.html
135- path : ./github-pages/crd
136-
137- - name : Rename HTML files to index.html
138- run : |
139- mv ./github-pages/ctp/ctp.html ./github-pages/ctp/index.html
140- mv ./github-pages/crd/rvi20_crd.html ./github-pages/crd/index.html
141-
142- - name : Create index page
143- run : |
144- cat > ./github-pages/index.html << 'EOF'
145- <!DOCTYPE html>
146- <html>
147- <head><title>RISC-V Certification Documentation</title></head>
148- <body>
149- <h1>RISC-V Certification Documentation</h1>
150- <ul>
151- <li><a href="ctp/">Certification Test Plan (CTP)</a></li>
152- <li><a href="crd/">Certification Requirements Document (CRD)</a></li>
153- </ul>
154- </body>
155- </html>
156- EOF
140+ name : crd-html
141+ path : docs/pages/crd
157142
158143 - name : Upload pages artifact
159144 uses : actions/upload-pages-artifact@v4
160145 with :
161- path : github- pages
146+ path : docs/ pages
162147
163148 - name : Deploy to GitHub Pages
164149 id : deployment
0 commit comments