94
94
- uses : actions/checkout@v4
95
95
id : checkout-production
96
96
with :
97
- repository : atomvm/atomvm_www
98
- ref : Production
97
+ repository : atomvm/doc.atomvm.org
98
+ ref : main
99
99
path : /home/runner/work/AtomVM/AtomVM/www
100
100
101
101
- name : Track all branches
@@ -115,21 +115,20 @@ jobs:
115
115
cmake ..
116
116
cd doc
117
117
make GitHub_CI_Publish_Docs
118
- rm -frv "/__w/AtomVM/AtomVM/www/doc/ ${{ github.ref_name }}"
119
- cp -av html "/__w/AtomVM/AtomVM/www/doc/ ${{ github.ref_name }}"
118
+ rm -frv "/__w/AtomVM/AtomVM/www/${{ github.ref_name }}"
119
+ cp -av html "/__w/AtomVM/AtomVM/www/${{ github.ref_name }}"
120
120
- name : Commit files
121
121
id : commit_files
122
122
if : github.repository == 'atomvm/AtomVM'
123
123
working-directory : /home/runner/work/AtomVM/AtomVM/www
124
124
run : |
125
125
git config --local user.email "atomvm-doc-bot@users.noreply.github.com"
126
126
git config --local user.name "AtomVM Doc Bot"
127
- ls -la doc/
128
- git status "doc/${{ github.ref_name }}"
129
- git add "doc/${{ github.ref_name }}"
127
+ git status "${{ github.ref_name }}"
128
+ git add "${{ github.ref_name }}"
130
129
git add .
131
- git diff --exit-code Production || echo "Going to commit"
132
- git diff --exit-code Production || git commit -m "Update Documentation for ${{ github.ref_name }}"
130
+ git diff --exit-code main || echo "Going to commit"
131
+ git diff --exit-code main || git commit -m "Update Documentation for ${{ github.ref_name }}"
133
132
git log -1
134
133
- name : Push changes
135
134
if : github.repository == 'atomvm/AtomVM'
@@ -142,7 +141,7 @@ jobs:
142
141
echo "github.com ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl" > ~/.ssh/known_hosts
143
142
echo "github.com ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBEmKSENjQEezOmxkZMy7opKgwFB9nkt5YRrYMjNuG5N87uRgg6CLrbo5wAdT/y6v0mKV0U2w0WZ2YB/++Tpockg=" >> ~/.ssh/known_hosts
144
143
echo "github.com ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQCj7ndNxQowgcQnjshcLrqPEiiphnt+VTTvDP6mHBL9j1aNUkY4Ue1gvwnGLVlOhGeYrnZaMgRK6+PKCUXaDbC7qtbW8gIkhL7aGCsOr/C56SJMy/BCZfxd1nWzAOxSDPgVsmerOBYfNqltV9/hWCqBywINIR+5dIg6JTJ72pcEpEjcYgXkE2YEFXV1JHnsKgbLWNlhScqb2UmyRkQyytRLtL+38TGxkxCflmO+5Z8CSSNY7GidjMIZ7Q4zMjA2n1nGrlTDkzwDCsw+wqFPGQA179cnfGWOWRVruj16z6XyvxvjJwbz0wQZ75XK5tKSb7FNyeIEs4TT4jk+S4dhPeAUC5y+bDYirYgM4GC7uEnztnZyaVWQ7B381AK4Qdrwt51ZqExKbQpTUNn+EjqoTwvqNj4kqx5QUCI0ThS/YkOxJCXmPUWZbhjpCg56i+2aB6CmK2JGhn57K5mj0MNdBXA4/WnwH6XoPWJzK5Nyu2zB3nAZp+S5hpQs+p1vN1/wsjk=" >> ~/.ssh/known_hosts
145
- git remote add push_dest "git@github.com:atomvm/atomvm_www .git"
144
+ git remote add push_dest "git@github.com:atomvm/doc.atomvm.org .git"
146
145
git fetch push_dest
147
- git diff --exit-code push_dest/Production || echo "Going to push"
148
- git diff --exit-code push_dest/Production || git push --set-upstream push_dest Production
146
+ git diff --exit-code push_dest/main || echo "Going to push"
147
+ git diff --exit-code push_dest/main || git push --set-upstream push_dest main
0 commit comments