Skip to content

make icon in panel table have circle background on hover (#5197) #238

make icon in panel table have circle background on hover (#5197)

make icon in panel table have circle background on hover (#5197) #238

Workflow file for this run

name: Push Release
on:
push:
branches:
- release/v[0-9]+.[0-9]+.[0-9]+
workflow_dispatch:
inputs:
ref_name:
type: string
jobs:
pr:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
ref: develop
fetch-depth: 0
- run: |
git config user.name 'voxel51-bot'
git config user.email 'bot@voxel51.com'
git checkout merge/${{ inputs.ref_name || github.ref_name }} \
|| git checkout -b merge/${{ inputs.ref_name || github.ref_name }}
git push -u origin merge/${{ inputs.ref_name || github.ref_name }}
git checkout develop
git pull origin merge/${{ inputs.ref_name || github.ref_name }} --no-rebase
git pull origin ${{ inputs.ref_name || github.ref_name }} --no-rebase
- uses: peter-evans/create-pull-request@v7
with:
author: voxel51-bot <bot@voxel51.com>
token: ${{ secrets.FIFTYONE_GITHUB_TOKEN }}
base: develop
body: Merge `${{ inputs.ref_name || github.ref_name }}` to `develop`
branch: merge/${{ inputs.ref_name || github.ref_name }}
title: Merge `${{ inputs.ref_name || github.ref_name }}` to `develop`