Skip to content

Merge branch 'main' into dev #96

Merge branch 'main' into dev

Merge branch 'main' into dev #96

Workflow file for this run

name: Developer Workflow
on:
push:
branches:
- dev
jobs:
workspace-check:
uses: ./.github/workflows/workspace-check.yml
secrets: inherit
core-cargo-test:
uses: ./.github/workflows/core-cargo-test.yml
secrets: inherit