diff --git a/.github/workflows/pages-deploy.yml b/.github/workflows/pages-deploy.yml index efa660bde..0e6edb2e8 100644 --- a/.github/workflows/pages-deploy.yml +++ b/.github/workflows/pages-deploy.yml @@ -11,6 +11,8 @@ jobs: steps: - name: Checkout 🛎️ uses: actions/checkout@v4 + with: + submodules: recursive - name: Use Node.js 💻 uses: actions/setup-node@v4 @@ -28,6 +30,10 @@ jobs: - name: Build Modules 🔧 run: yarn build --tsc --lint + + + - name: include java json + run: cp -r src/java-packages build - name: Deploy 🚀 uses: peaceiris/actions-gh-pages@v3 diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index be0442de9..82c5a5499 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -11,7 +11,9 @@ jobs: steps: - name: Check out source code uses: actions/checkout@v4 - + with: + submodules: recursive + - name: Use Node.js 💻 uses: actions/setup-node@v4 with: diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..46e8a3f2f --- /dev/null +++ b/.gitmodules @@ -0,0 +1,6 @@ +[submodule "src/java/java-packages"] + path = src/java/java-packages + url = https://github.com/source-academy/java-packages +[submodule "src/java-packages"] + path = src/java-packages + url = https://github.com/source-academy/java-packages diff --git a/src/java-packages b/src/java-packages new file mode 160000 index 000000000..db850e429 --- /dev/null +++ b/src/java-packages @@ -0,0 +1 @@ +Subproject commit db850e429c9e08d0f285fa05498ac0b7cbec1323