mirror of
https://github.com/Magnus167/rustframe.git
synced 2025-08-21 03:49:59 +00:00
Compare commits
16 Commits
9f96d280de
...
c35926fc27
Author | SHA1 | Date | |
---|---|---|---|
![]() |
c35926fc27 | ||
2bc375f950 | |||
![]() |
37d10cbc7d | ||
![]() |
1c41d387ef | ||
![]() |
38baf0c648 | ||
![]() |
2e6c4bd6bb | ||
![]() |
6bb1c2a0de | ||
![]() |
d670ab4a5c | ||
![]() |
eb09593b0a | ||
![]() |
29c304d512 | ||
![]() |
7c96439550 | ||
![]() |
76b8824ce3 | ||
![]() |
00befe7ee4 | ||
![]() |
41349e2dba | ||
![]() |
9ab3a7c2c1 | ||
![]() |
88a08e1063 |
25
.github/workflows/docs-and-testcov.yml
vendored
25
.github/workflows/docs-and-testcov.yml
vendored
@ -44,6 +44,14 @@ jobs:
|
||||
toolchain: stable
|
||||
override: true
|
||||
|
||||
- name: Replace logo URL in README.md
|
||||
env:
|
||||
LOGO_URL: ${{ secrets.LOGO_URL }}
|
||||
run: |
|
||||
# replace with EXAMPLE.COM/LOGO
|
||||
|
||||
sed -i 's|.github/rustframe_logo.png|rustframe_logo.png|g' README.md
|
||||
|
||||
- name: Build documentation
|
||||
run: cargo doc --no-deps --release
|
||||
|
||||
@ -96,16 +104,25 @@ jobs:
|
||||
run: |
|
||||
# mkdir docs
|
||||
mkdir -p target/doc/docs
|
||||
cp -r target/doc/rustframe/* target/doc/docs/
|
||||
mv target/doc/rustframe/* target/doc/docs/
|
||||
|
||||
mkdir output
|
||||
cp tarpaulin-report.html target/doc/docs/
|
||||
cp tarpaulin-report.json target/doc/docs/
|
||||
cp tarpaulin-badge.json target/doc/docs/
|
||||
cp last-commit-date.json target/doc/docs/
|
||||
mkdir -p target/doc/.github
|
||||
cp .github/rustframe_logo.png target/doc/.github/rustframe_logo.png
|
||||
# cp -r .github target/doc/docs
|
||||
cp .github/rustframe_logo.png target/doc/docs/
|
||||
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
|
||||
touch target/doc/.nojekyll
|
||||
|
||||
# verify that logo exists in the output directory
|
||||
- name: Verify logo directory
|
||||
run: |
|
||||
if [ ! -f target/doc/docs/rustframe_logo.png ]; then
|
||||
echo "Logo not found in output directory!"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
- name: Upload Pages artifact
|
||||
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
||||
@ -115,4 +132,4 @@ jobs:
|
||||
|
||||
- name: Deploy to GitHub Pages
|
||||
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
||||
uses: actions/deploy-pages@v4
|
||||
uses: actions/deploy-pages@v4
|
||||
|
Loading…
x
Reference in New Issue
Block a user