sudacode/metrics
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

ci: auto-regenerate files

Browse Source
This commit is contained in:
lowlighter
2022-12-08 00:46:50 -05:00
parent 2fb95a13bb
commit 25a86558c3
2 changed files with 2 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
.github/scripts/files/examples.yml vendored
View File

@@ -58,7 +58,7 @@ jobs:
if: ${{ success() || failure() }} if: ${{ success() || failure() }}
run: | run: |
set +e set +e
rm -rf /metrics_renders/metrics.markdown*.{md,pdf} sudo rm -rf /metrics_renders/github-metrics.*
sudo mv /metrics_renders/* ./ sudo mv /metrics_renders/* ./
git config user.name github-actions[bot] git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com git config user.email 41898282+github-actions[bot]@users.noreply.github.com
@@ -68,15 +68,6 @@ jobs:
git commit -m "chore: update examples" git commit -m "chore: update examples"
git push --force git push --force
set +e
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
git pull
sudo cp /metrics_renders/* ./
git add --all
git commit -m "chore: update examples"
git push --force
# ====================================================================================== # ======================================================================================
# Special job used to render lowlighter/metrics repository assets # Special job used to render lowlighter/metrics repository assets
# ====================================================================================== # ======================================================================================

2
.github/workflows/examples.yml vendored
View File

@@ -1327,7 +1327,7 @@ jobs:
if: ${{ success() || failure() }} if: ${{ success() || failure() }}
run: | run: |
set +e set +e
rm -rf /metrics_renders/metrics.markdown*.{md,pdf} sudo rm -rf /metrics_renders/github-metrics.*
sudo mv /metrics_renders/* ./ sudo mv /metrics_renders/* ./
git config user.name github-actions[bot] git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com git config user.email 41898282+github-actions[bot]@users.noreply.github.com