diff --git a/.github/workflows/build-website.yml b/.github/workflows/build-website.yml new file mode 100644 index 0000000000..5d995d9ac9 --- /dev/null +++ b/.github/workflows/build-website.yml @@ -0,0 +1,64 @@ +name: Build and deploy website + +on: + pull_request: + paths: + - 'docs/site/**' + - '.github/workflows/build-website.yml' + push: + branches: + - master + paths: + - 'docs/site/**' + - '.github/workflows/build-website.yml' + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Check out repository + uses: actions/checkout@v6 + - name: Set up Ruby + uses: ruby/setup-ruby@v1 + with: + ruby-version: '3.2' + - name: Install website dependencies + working-directory: docs/site + run: bundle install + - name: Build website + working-directory: docs/site + env: + JEKYLL_ENV: production + run: bundle exec jekyll build + - name: Upload artifact + uses: actions/upload-pages-artifact@v5 + with: + path: docs/site/_site + + deploy: + # The website should only be deployed from a release branch: + # if: startsWith(github.head_ref, 'release/graal-vm/') + if: github.event_name == 'push' && github.ref == 'refs/heads/master' + runs-on: ubuntu-latest + needs: build + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v5 diff --git a/docs/site/01-python-developers.md b/docs/site/01-python-developers.md index 63fb88871e..4e0afdc721 100644 --- a/docs/site/01-python-developers.md +++ b/docs/site/01-python-developers.md @@ -29,7 +29,7 @@ audience_identifier: python
Redirecting to the documentation for JVM Developers...
\ No newline at end of file +Redirecting to the documentation for JVM Developers...
diff --git a/docs/user/Python-Standalone-Applications.md b/docs/user/Python-Standalone-Applications.md index 70c0f85ca9..3025ce734f 100644 --- a/docs/user/Python-Standalone-Applications.md +++ b/docs/user/Python-Standalone-Applications.md @@ -13,7 +13,7 @@ The module bundles all your application's resources into a single file. ## Running Python Standalone Applications -To create an native executable from a Python file with its dependencies, use this command: +To create a native executable from a Python file with its dependencies, use this command: ```bash graalpy -m standalone native \