Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,17 @@
#
# This is a workflow for atomvm/atomvm_www to Publish atomvm.net documentation using GitHub Pages

name: Build
name: Build Test

# Controls when the workflow will run
on:
# Triggers the workflow on push or pull request events but only for the master branch
push:
branches: [ "*" ]

pull_request:
branches: [ "*" ]

# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:

Expand Down Expand Up @@ -71,4 +74,5 @@ jobs:
git config --local user.email "[email protected]"
git config --local user.name "AtomVM Doc Bot"
git add .
git commit -m "Update Documentation"
git commit -m "Update Website Frontend: ${{ github.event.head_commit.message }}"
git log -1
5 changes: 3 additions & 2 deletions .github/workflows/publish.yml
Original file line number Diff line number Diff line change
Expand Up @@ -64,15 +64,16 @@ jobs:
touch www/.nojekyll

- name: Commit files
if: github.repository == 'atomvm/atomvm_www'
working-directory: ./www
run: |
git checkout Production
git branch --show-current
git config --local user.email "[email protected]"
git config --local user.name "AtomVM Doc Bot"
git add .
git commit -m "Update Documentation"
git commit -m "Update Website Frontend\n${{ github.event.workflow_run.head_commit.message }}"
git log -1

- name: Push changes
if: github.repository == 'atomvm/atomvm_www'
working-directory: ./www
Expand Down
Loading