Skip to content

[cherry-pick] fix: versions of libraries #2147

[cherry-pick] fix: versions of libraries

[cherry-pick] fix: versions of libraries #2147

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 }}