30 lines
660 B
YAML
30 lines
660 B
YAML
# This workflow is the entry point for all CI processes.
|
|
# It is from here that all other workflows are launched.
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
- master
|
|
paths-ignore:
|
|
- '**.md'
|
|
- .editorconfig
|
|
- .gitignore
|
|
pull_request:
|
|
paths-ignore:
|
|
- '**.md'
|
|
- .editorconfig
|
|
- .gitignore
|
|
|
|
jobs:
|
|
lint:
|
|
uses: ./.github/workflows/lint.yml
|
|
typechecking:
|
|
uses: ./.github/workflows/typechecking.yml
|
|
tests:
|
|
uses: ./.github/workflows/tests.yml
|
|
draft_release:
|
|
if: github.event_name == 'push' && github.ref_name == 'main'
|
|
needs: [ typechecking, tests ]
|
|
uses: ./.github/workflows/release.yml
|
|
|