Skip to content

Fix TODO in Eclipse IDE setup doc #144

Fix TODO in Eclipse IDE setup doc

Fix TODO in Eclipse IDE setup doc #144

Workflow file for this run

name: Continuous Integration
on:
pull_request:
branches: [ "main" ]
workflow_dispatch:
jobs:
# Build job
build:
runs-on: ubuntu-latest
permissions:
contents: write
packages: read
pull-requests: write
env:
PR_PATH: ${{ github.event.repository.name }}/pull/${{github.event.number}}
DOMAIN: gradle.github.io
PREVIEW_REPO: community-site-preview
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: "true"
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.10"
- name: Install dependencies
run: pip install -r .devcontainer/requirements.txt
- name: Build the docs
run: mkdocs build
- name: Deploy to PR preview
uses: peaceiris/actions-gh-pages@v4
if: github.ref != 'refs/heads/main'
with:
deploy_key: ${{ secrets.PREVIEW_DEPLOYMENT_KEY }}
external_repository: gradle/${{ env.PREVIEW_REPO }}
publish_dir: ./_site
destination_dir: ${{ env.PR_PATH }}
- name: Update comment
uses: hasura/[email protected]
if: github.ref != 'refs/heads/main'
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
repository: ${{ github.repository }}
number: ${{ github.event.number }}
id: deploy-preview
message: >
A preview of ${{ github.event.after }} is uploaded and can be seen here:
✨ https://${{ env.DOMAIN }}/${{ env.PREVIEW_REPO }}/${{ env.PR_PATH}}/ ✨
Changes may take a few minutes to propagate.