Skip to content

Fixing the GitHub action build #1

Fixing the GitHub action build

Fixing the GitHub action build #1

Workflow file for this run

# Copyright (c) 2023, WSO2 LLC. (https://www.wso2.com).
#
# WSO2 LLC. licenses this file to you under the Apache License,
# Version 2.0 (the "License"); you may not use this file except
# in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
name: Check PR Label
on:
pull_request:
branches:
- 'main'
types:
- opened
- labeled
- unlabeled
jobs:
Build-label-check:
runs-on: ubuntu-latest
if: ${{ !contains(github.event.pull_request.labels.*.name, 'Ready-to-Build') || join(github.event.pull_request.labels) == '' }}
steps:
- name: Fail if PR is not yet built
run: |
echo "This PR needs to be built before merging to the repository."
exit 1