@@ -22,11 +22,11 @@ permissions:
2222 contents : read
2323
2424jobs :
25- build :
25+ build-and-test :
2626 runs-on : ubuntu-latest
2727
2828 steps :
29- - uses : actions/checkout@v4
29+ - uses : actions/checkout@v5
3030
3131 - name : Check if oneAPI is already installed
3232 id : check-oneapi
5757
5858 - name : Build
5959 run : cargo build --verbose
60-
61- - name : Run tests
62- run : cargo test --verbose
60+
61+ - name : Run workspace tests
62+ run : cargo test --workspace --verbose
63+
64+ - name : Run examples
65+ run : |
66+ for example_path in oneapi-rs/examples/*.rs; do
67+ example="$(basename "$example_path" .rs)"
68+ cargo run -p oneapi-rs --example "$example" --verbose
69+ done
6370
6471 - name : Generate documentation
6572 run : |
@@ -79,14 +86,14 @@ jobs:
7986 HTML
8087
8188 - name : Upload documentation artifact
82- uses : actions/upload-artifact@v4
89+ uses : actions/upload-artifact@v6
8390 with :
8491 name : documentation
8592 path : target/doc
8693
8794 deploy-documentation :
8895 if : (github.event_name == 'push' && github.ref == 'refs/heads/main') || (github.event_name == 'workflow_dispatch' && inputs.deploy_documentation == 'true')
89- needs : build
96+ needs : build-and-test
9097 runs-on : ubuntu-latest
9198
9299 permissions :
@@ -100,19 +107,19 @@ jobs:
100107
101108 steps :
102109 - name : Download documentation artifact
103- uses : actions/download-artifact@v4
110+ uses : actions/download-artifact@v7
104111 with :
105112 name : documentation
106113 path : target/doc
107114
108115 - name : Configure GitHub Pages
109- uses : actions/configure-pages@v5
116+ uses : actions/configure-pages@v6
110117
111118 - name : Upload documentation to GitHub Pages
112- uses : actions/upload-pages-artifact@v3
119+ uses : actions/upload-pages-artifact@v5
113120 with :
114121 path : target/doc
115122
116123 - name : Deploy documentation to GitHub Pages
117124 id : deployment
118- uses : actions/deploy-pages@v4
125+ uses : actions/deploy-pages@v5
0 commit comments