foodogsquared/website
1
0
Fork 0
mirror of https://github.com/foo-dogsquared/website.git synced 2025-01-31 04:58:26 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix the webring build action

Browse Source
This commit is contained in:
Gabriel Arazas 2023-03-26 16:32:16 +08:00
parent 3fff174d96
commit 5e55792cf1
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC
1 changed files with 15 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
.github/workflows/build-webring.yml vendored
View File

@ -11,18 +11,20 @@ jobs:
- uses: cachix/install-nix-action@v17
with:
nix_path: nixpkgs=channel:nixpkgs-unstable
- run: nix develop -c make build-openring
- run: |
# Show the commit as set by the Actions bot.
# https://github.com/actions/checkout/discussions/479
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'
- name: Build webring
run: nix develop -c make build-openring
- name: Commit the changes
run: |
# Show the commit as set by the Actions bot.
# https://github.com/actions/checkout/discussions/479
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'
# Commit the update.
git add ./layouts/partials/openring.html
git commit --message "Update webring as of $(date +%F)"
# Commit the update.
git add ./layouts/partials/openring.html
git commit --message "Update webring as of $(date +%F)"
# Push it into the current branch.
git remote remove origin
git remote add origin https://${{ secrets.GITHUB_TOKEN }}@github.com/foo-dogsquared/website.git
git push --set-upstream origin master
# Push it into the current branch.
git remote remove origin
git remote add origin https://${{ secrets.GITHUB_TOKEN }}@github.com/foo-dogsquared/website.git
git push --set-upstream origin master