Skip to content

Added the ability to register an alias for an element (#1173) #247

Added the ability to register an alias for an element (#1173)

Added the ability to register an alias for an element (#1173) #247

Workflow file for this run

---
name: ci
# yamllint disable-line rule:truthy
on:
push:
pull_request:
concurrency:
group: ci-${{github.ref}}-${{github.event.pull_request.number || github.run_number}}
cancel-in-progress: true
jobs:
prechecks:
uses: ./.github/workflows/pre-commit.yml
all-prechecks:
needs: [prechecks]
runs-on: ubuntu-latest
steps:
- name: Success
run: "true"