Skip to content

Upgrade CodeMirror #731

Upgrade CodeMirror

Upgrade CodeMirror #731

Workflow file for this run

name: "pr-url"
on:
pull_request:
types: [opened]
jobs:
pr-url:
if: github.repository_owner == 'microbit-foundation'
runs-on: ubuntu-latest
steps:
- uses: microbit-foundation/[email protected]
with:
uri-template: "https://review-python-editor-v3.microbit.org/{branch}/"
repo-token: ${{ secrets.GITHUB_TOKEN }}