Skip to content

[KernelGen][Kunlunxin] Add digamma operator #176

[KernelGen][Kunlunxin] Add digamma operator

[KernelGen][Kunlunxin] Add digamma operator #176

# Copyright 2026 FlagOS Contributors
#
# Licensed 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: sync-infra-ci-to-kernelgen
# Trigger: only when a PR targeting infra-ci is merged.
on:
pull_request:
types: [closed]
branches:
- infra-ci
permissions:
contents: write
jobs:
merge-into-kernelgen:
# Guard: skip if the PR was merely closed without merging.
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: Checkout repository (full history)
uses: ./.github/actions/checkout-retry
with:
# Fetch all history so the merge has the complete graph.
fetch-depth: "0"
- name: Configure git identity
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
- name: Fetch feat/kernelgen
run: git fetch origin feat/kernelgen
- name: Merge infra-ci into feat/kernelgen
run: |
git checkout feat/kernelgen
# --no-edit: accept the auto-generated merge commit message.
git merge --no-edit origin/infra-ci
- name: Push feat/kernelgen
run: git push origin feat/kernelgen