Skip to content

Editor Selector improvements #1647

Editor Selector improvements

Editor Selector improvements #1647

Workflow file for this run

# Add Web IDE link on PRs
name: web-ide
on:
pull_request_target:
types: [opened, synchronize]
jobs:
add-link:
runs-on: ubuntu-22.04
steps:
- name: Web IDE Pull Request Check
id: try-in-web-ide
uses: redhat-actions/try-in-web-ide@v1
with:
github_token: ${{ secrets.CHE_BOT_GITHUB_TOKEN }}