Skip to content

Merge branch 'main' into ci_refactor #429

Merge branch 'main' into ci_refactor

Merge branch 'main' into ci_refactor #429

Workflow file for this run

name: CI
concurrency:
group: ${{ startsWith(github.ref_name, 'main') && format('unique-{0}', github.run_id) || format('ci-build-and-test-on-{0}-from-{1}', github.event_name, github.ref_name) }}
cancel-in-progress: true
on:
push:
branches:
- "pull-request/[0-9]+"
- "main"
jobs:
ci:
uses:
./.github/workflows/gh-build-and-test.yml
secrets: inherit