mirror of
https://github.com/google/blockly.git
synced 2026-01-04 23:50:12 +01:00
* chore: add and configure prettier * chore: remove clang-format * chore: remove clang-format config * chore: lint additional ts files * chore: fix lint errors in blocks * chore: add prettier-ignore where needed * chore: ignore js blocks when formatting * chore: fix playground html syntax * chore: fix yaml spacing from merge * chore: convert text blocks to use arrow functions * chore: format everything with prettier * chore: fix lint unused imports in blocks
27 lines
926 B
YAML
27 lines
926 B
YAML
# This workflow will comment on pull requests that are submitted while develop
|
|
# is frozen during the week of release. Skips any pull requests that have the
|
|
# label 'ignore-freeze'.
|
|
# This workflow should be enabled only while develop is frozen.
|
|
|
|
name: Develop Freeze PR Comment
|
|
|
|
on:
|
|
# Trigger the workflow on pull request on develop branch
|
|
pull_request:
|
|
types:
|
|
- opened
|
|
- reopened
|
|
branches:
|
|
- develop
|
|
|
|
jobs:
|
|
freeze-comment:
|
|
if: ${{ !contains(github.event.pull_request.labels.*.name, 'ignore-freeze') }}
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: PR Comment
|
|
uses: github-actions-up-and-running/pr-comment@f1f8ab2bf00dce6880a369ce08758a60c61d6c0b
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
message: 'Thanks for the PR! The develop branch is currently frozen in preparation for the release so it may not be addressed until after release week.'
|