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
|
toolchain: stable
|
||||||
override: true
|
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
|
- name: Build documentation
|
||||||
run: cargo doc --no-deps --release
|
run: cargo doc --no-deps --release
|
||||||
|
|
||||||
@ -96,16 +104,25 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
# mkdir docs
|
# mkdir docs
|
||||||
mkdir -p target/doc/docs
|
mkdir -p target/doc/docs
|
||||||
cp -r target/doc/rustframe/* target/doc/docs/
|
mv target/doc/rustframe/* target/doc/docs/
|
||||||
|
|
||||||
mkdir output
|
mkdir output
|
||||||
cp tarpaulin-report.html target/doc/docs/
|
cp tarpaulin-report.html target/doc/docs/
|
||||||
cp tarpaulin-report.json target/doc/docs/
|
cp tarpaulin-report.json target/doc/docs/
|
||||||
cp tarpaulin-badge.json target/doc/docs/
|
cp tarpaulin-badge.json target/doc/docs/
|
||||||
cp last-commit-date.json target/doc/docs/
|
cp last-commit-date.json target/doc/docs/
|
||||||
mkdir -p target/doc/.github
|
# cp -r .github target/doc/docs
|
||||||
cp .github/rustframe_logo.png target/doc/.github/rustframe_logo.png
|
cp .github/rustframe_logo.png target/doc/docs/
|
||||||
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
|
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
|
- name: Upload Pages artifact
|
||||||
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
||||||
@ -115,4 +132,4 @@ jobs:
|
|||||||
|
|
||||||
- name: Deploy to GitHub Pages
|
- name: Deploy to GitHub Pages
|
||||||
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
# 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