Skip to content

Some renames and cleanup #3

Some renames and cleanup

Some renames and cleanup #3

Workflow file for this run

on:
pull_request:
merge_group:
jobs:
dummy:
runs-on: ubuntu-latest
steps:
- run: /usr/bin/true