@@ -2,7 +2,7 @@ name: Deploy pages
22on :
33 push :
44 branches :
5- - main
5+ - main
66 workflow_dispatch :
77permissions :
88 contents : read
@@ -18,73 +18,73 @@ jobs:
1818 name : github-pages
1919 url : ${{ steps.deployment.outputs.page_url }}
2020 steps :
21- - name : Clone Github Repo Action
22- uses : actions/checkout@v4
23- - name : Setup apptainer
24- uses :
eWaterCycle/[email protected] 25- - name : Get container from cache
26- id : cache-sif
27- uses : actions/cache@v3
28- with :
29- path : .singularity/image.sif
30- key : ${{ hashFiles('container.def', 'bin/.container-tag') }}
31- - name : Get gems and node files from cache
32- id : cache-bundle-npm
33- uses : actions/cache@v3
34- with :
35- path : |
36- .home/.gems
37- node_modules
38- key : ${{ hashFiles('Gemfile.lock') }}-${{ hashFiles('package-lock.json') }}
39- - if : ${{ steps.cache-sif.outputs.cache-hit != 'true' }}
40- name : Build container
41- run : ./bin/build_container
42- - name : Setup project
43- run : ./bin/setup
44- - name : Build manual
45- run : ./do gen:html_manual MANUAL_NAME=isa VERSIONS=all
46- - name : Build html documentation for generic_rv64
47- run : ./do gen:html[generic_rv64]
48- - name : Generate YARD docs
49- run : ./do gen:tool_doc
50- - name : Create _site/example_cfg
51- run : mkdir -p _site/example_cfg
52- - name : Create _site/manual
53- run : mkdir -p _site/manual
54- - name : Create _site/pdfs
55- run : mkdir -p _site/pdfs
56- - name : Create _site/htmls
57- run : mkdir -p _site/htmls
58- - name : Copy cfg html
59- run : cp -R gen/cfg_html_doc/generic_rv64/html _site/example_cfg
60- - name : Create RVA20 Profile Release PDF Spec
61- run : ./do gen:profile[RVA20]
62- - name : Copy RVA20 Profile Release PDF
63- run : cp gen/profile_doc/pdf/RVA20.pdf _site/pdfs/RVA20.pdf
64- - name : Create RVA22 Profile Release PDF Spec
65- run : ./do gen:profile[RVA22]
66- - name : Copy RVA22 Profile Release PDF
67- run : cp gen/profile_doc/pdf/RVA22.pdf _site/pdfs/RVA22.pdf
68- - name : Create RVI20 Profile Release PDF Spec
69- run : ./do gen:profile[RVI20]
70- - name : Copy RVI20 Profile Release PDF
71- run : cp gen/profile_doc/pdf/RVA20.pdf _site/pdfs/RVI20.pdf
72- - name : Create MC100 PDF Spec
73- run : ./do gen:cert_model_pdf[MC100]
74- - name : Copy MC100 PDF
75- run : cp gen/certificate_doc/pdf/MC100.pdf _site/pdfs/MC100.pdf
76- - name : Create MC100 HTML Spec
77- run : ./do gen:cert_model_html[MC100]
78- - name : Copy MC100 HTML
79- run : cp gen/certificate_doc/html/MC100.html _site/htmls/MC100.html
80- - name : Copy manual html
81- run : cp -R gen/manual/isa/top/all/html _site/manual
82- - name : Setup Pages
83- uses : actions/configure-pages@v5
84- - name : Upload artifact
85- uses : actions/upload-pages-artifact@v3
86- with :
87- path : ' _site'
88- - name : Deploy to GitHub Pages
89- id : deployment
90- uses : actions/deploy-pages@v4
21+ - name : Clone Github Repo Action
22+ uses : actions/checkout@v4
23+ - name : Setup apptainer
24+ uses :
eWaterCycle/[email protected] 25+ - name : Get container from cache
26+ id : cache-sif
27+ uses : actions/cache@v3
28+ with :
29+ path : .singularity/image.sif
30+ key : ${{ hashFiles('container.def', 'bin/.container-tag') }}
31+ - name : Get gems and node files from cache
32+ id : cache-bundle-npm
33+ uses : actions/cache@v3
34+ with :
35+ path : |
36+ .home/.gems
37+ node_modules
38+ key : ${{ hashFiles('Gemfile.lock') }}-${{ hashFiles('package-lock.json') }}
39+ - if : ${{ steps.cache-sif.outputs.cache-hit != 'true' }}
40+ name : Build container
41+ run : ./bin/build_container
42+ - name : Setup project
43+ run : ./bin/setup
44+ - name : Build manual
45+ run : ./do gen:html_manual MANUAL_NAME=isa VERSIONS=all
46+ - name : Build html documentation for generic_rv64
47+ run : ./do gen:html[generic_rv64]
48+ - name : Generate YARD docs
49+ run : ./do gen:tool_doc
50+ - name : Create _site/example_cfg
51+ run : mkdir -p _site/example_cfg
52+ - name : Create _site/manual
53+ run : mkdir -p _site/manual
54+ - name : Create _site/pdfs
55+ run : mkdir -p _site/pdfs
56+ - name : Create _site/htmls
57+ run : mkdir -p _site/htmls
58+ - name : Copy cfg html
59+ run : cp -R gen/cfg_html_doc/generic_rv64/html _site/example_cfg
60+ - name : Create RVA20 Profile Release PDF Spec
61+ run : ./do gen:profile[RVA20]
62+ - name : Copy RVA20 Profile Release PDF
63+ run : cp gen/profile_doc/pdf/RVA20.pdf _site/pdfs/RVA20.pdf
64+ - name : Create RVA22 Profile Release PDF Spec
65+ run : ./do gen:profile[RVA22]
66+ - name : Copy RVA22 Profile Release PDF
67+ run : cp gen/profile_doc/pdf/RVA22.pdf _site/pdfs/RVA22.pdf
68+ - name : Create RVI20 Profile Release PDF Spec
69+ run : ./do gen:profile[RVI20]
70+ - name : Copy RVI20 Profile Release PDF
71+ run : cp gen/profile_doc/pdf/RVA20.pdf _site/pdfs/RVI20.pdf
72+ - name : Create MC100 PDF Spec
73+ run : ./do gen:cert_model_pdf[MC100]
74+ - name : Copy MC100 PDF
75+ run : cp gen/certificate_doc/pdf/MC100.pdf _site/pdfs/MC100.pdf
76+ - name : Create MC100 HTML Spec
77+ run : ./do gen:cert_model_html[MC100]
78+ - name : Copy MC100 HTML
79+ run : cp gen/certificate_doc/html/MC100.html _site/htmls/MC100.html
80+ - name : Copy manual html
81+ run : cp -R gen/manual/isa/top/all/html _site/manual
82+ - name : Setup Pages
83+ uses : actions/configure-pages@v5
84+ - name : Upload artifact
85+ uses : actions/upload-pages-artifact@v3
86+ with :
87+ path : " _site"
88+ - name : Deploy to GitHub Pages
89+ id : deployment
90+ uses : actions/deploy-pages@v4
0 commit comments