mirror of
https://github.com/Magnus167/rustframe.git
synced 2025-08-21 04:00:06 +00:00
Compare commits
No commits in common. "7c96439550b76e9bd1abe33e4f82d355cb10cc3b" and "00befe7ee488e456dd8e2df49f85b42b449a1fa8" have entirely different histories.
7c96439550
...
00befe7ee4
11
.github/workflows/docs-and-testcov.yml
vendored
11
.github/workflows/docs-and-testcov.yml
vendored
@ -103,17 +103,10 @@ jobs:
|
||||
cp tarpaulin-report.json target/doc/docs/
|
||||
cp tarpaulin-badge.json target/doc/docs/
|
||||
cp last-commit-date.json target/doc/docs/
|
||||
cp -r .github target/doc/docs/.github
|
||||
mkdir -p target/doc/docs/.github
|
||||
cp .github/rustframe_logo.png target/doc/docs/.github/rustframe_logo.png
|
||||
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
|
||||
|
||||
# verify that .github exists in the output directory
|
||||
- name: Verify .github directory
|
||||
run: |
|
||||
if [ ! -d target/doc/docs/.github ]; then
|
||||
echo ".github directory not found in output!"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
- name: Upload Pages artifact
|
||||
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
|
||||
uses: actions/upload-pages-artifact@v3
|
||||
|
Loading…
x
Reference in New Issue
Block a user