Skip to content

CI Dispatcher

CI Dispatcher #53

Workflow file for this run

# This workflow is the entry point for all CI processes.
# It is from here that all other workflows are launched.
name: CI Dispatcher
on:
workflow_dispatch:
push:
branches:
- main
paths-ignore:
- '.github/**'
- '!.github/workflows/ci.yml'
- '!.github/workflows/typechecking.yml'
- '!.github/workflows/tests.yml'
- '!.github/workflows/release.yml'
- '**.md'
- 'LICENSE'
- .editorconfig
- .gitignore
- '.idea/**'
- '.vscode/**'
- '.yarn/**'
pull_request:
paths-ignore:
- '.github/**'
- '!.github/workflows/ci.yml'
- '!.github/workflows/typechecking.yml'
- '!.github/workflows/tests.yml'
- '!.github/workflows/release.yml'
- '**.md'
- 'LICENSE'
- .editorconfig
- .gitignore
- '.idea/**'
- '.vscode/**'
- '.yarn/**'
concurrency:
group: ci-${{ github.ref }}
cancel-in-progress: true
jobs:
typechecking:
uses: ./.github/workflows/typechecking.yml
tests:
uses: ./.github/workflows/tests.yml
# draft_release:
# permissions:
# contents: write # Allows this job to create releases
# with:
# dry-run: ${{ github.event_name != 'push' || github.ref_name != 'main' }}
# needs: [ typechecking, tests ]
# uses: ./.github/workflows/release.yml