Update docs

This commit is contained in:
github-actions
2023-10-02 19:49:54 +00:00
parent 801b74738d
commit 2401cc759b
23 changed files with 173 additions and 612 deletions

View File

@ -29,4 +29,6 @@ jobs:
- run: bash scripts/git-user-config.sh
- name: Transpile to upgradeable
run: bash scripts/upgradeable/transpile-onto.sh ${{ github.ref_name }} origin/${{ github.ref_name }}
env:
SUBMODULE_REMOTE: https://github.com/${{ github.repository }}.git
- run: git push origin ${{ github.ref_name }}