Skip to content

Merge pull request #201 from python-discord/forward-github-ip-to-discord #173

Merge pull request #201 from python-discord/forward-github-ip-to-discord

Merge pull request #201 from python-discord/forward-github-ip-to-discord #173

Workflow file for this run

name: CI
on:
push:
branches:
- main
pull_request:
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
lint:
uses: ./.github/workflows/lint.yaml
build-deploy:
uses: ./.github/workflows/deploy.yaml
needs:
- lint
secrets: inherit