continuous integration (mathlib forks) · 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

continuous integration (mathlib forks)

Actions

Loading...
Loading

1 workflow run

1 workflow run

first commit continuous integration (mathlib forks) #1: Commit e31248b pushed by BeibeiX0

6m 11s main

main

6m 11s