Skip to content

Use github hosted runners #938

Use github hosted runners

Use github hosted runners #938

Workflow file for this run

name: Pull Request or Push
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
ci:
name: CI
uses: ./.github/workflows/ci.yml
permissions:
contents: write
pull-requests: read