Skip to content

Prefer ControlFlow over Visitor{Entry,Exit}Response #74

Prefer ControlFlow over Visitor{Entry,Exit}Response

Prefer ControlFlow over Visitor{Entry,Exit}Response #74

Workflow file for this run

name: "ci"
on:
# Run using manual triggers from GitHub UI:
# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
workflow_dispatch: {}
# Run on every pull request (external branches):
pull_request: {}
# Run on pushes to internal branches:
# Except 'main', which is handled by 'deploy.yml'.
push:
branches-ignore:
- "main"
jobs:
ci:
uses: "./.github/workflows/_jobs_ci.yml"