Skip to content

Development: Migrate FAQ feature to new client guidelines #7434

Development: Migrate FAQ feature to new client guidelines

Development: Migrate FAQ feature to new client guidelines #7434

name: Pull Request Label Removal
on:
pull_request_target:
types:
- unlabeled
jobs:
update_badges:
name: Update test server badges
runs-on: ubuntu-latest
if: startsWith(github.event.label.name, 'lock:artemis-test')
steps:
- name: Get badge id
id: env
uses: actions/github-script@v7
with:
script: |
const labelName = context.payload.label.name;
const badge = labelName.replace(/^lock:artemis-test/, '');
core.setOutput('BADGE', badge);
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Update badge
uses: RubbaBoy/[email protected]
with:
NAME: "artemis-test${{ steps.env.outputs.BADGE }}"
LABEL: "artemis-test${{ steps.env.outputs.BADGE }}.artemis.cit.tum.de"
STATUS: ${{ github.event.pull_request.head.ref }}
COLOR: green
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}