Skip to content
This repository is currently being migrated. It's locked while the migration is in progress.

Merge main into develop branch #21

Merge main into develop branch

Merge main into develop branch #21

Workflow file for this run

name: Build
on:
push:
branches:
- develop
- main
pull_request:
types: [ opened, synchronize, reopened ]
jobs:
build:
uses: refinedmods/refinedarchitect/.github/workflows/[email protected]
with:
mutation-testing: false
secrets: inherit