Discover `lean-pr-testing` branches · Workflow runs · BeibeiX0/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- Close stale issues and PRs Close stale issues and PRs
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Discover `lean-pr-testing` branches Discover `lean-pr-testing` branches
- Label PR based on Comment Label PR based on Comment
Management
- Caches

Discover `lean-pr-testing` branches

Actions

Loading...
Loading

discover-lean-pr-testing.yml

0 workflow runs

0 workflow runs

This workflow has no runs yet.