Cross off linked issues · Workflow runs · leanprover-community/mathlib3 · GitHub

This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Repository navigation

Actions

All workflows
Workflows
- Add "ready-to-merge" and "delegated" label from comment Add "ready-to-merge" and "delegated" label from comment
- Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review
- Add mathlib4 porting comments Add mathlib4 porting comments
- Add mathlib4 porting warnings Add mathlib4 porting warnings
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Cross off linked issues Cross off linked issues
- Dependent Issues Dependent Issues
- linter self test linter self test
Management
- Caches

Cross off linked issues

Actions

Loading...
Loading

sync_closed_tasks.yaml

0 workflow runs

0 workflow runs

This workflow has no runs yet.