continuous integration (mathlib forks) · Workflow runs · leanprover-community/mathlib4 · GitHub

Actions

All workflows
Workflows
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Weekly Technical Debt Counters Weekly Technical Debt Counters
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_awaiting_author.yaml .github/workflows/zulip_emoji_awaiting_author.yaml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- 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)
Management
- Caches

continuous integration (mathlib forks)

Actions

Loading...
Loading

2,500+ workflow runs

2,500+ workflow runs

feat(Combinatorics/Graph): EndPoint function continuous integration (mathlib forks) #290857: Pull request #38325 synchronize by Jun2M

2m 44s

2m 44s

feat(Geometry/Curve): add Frenet–Serret framework continuous integration (mathlib forks) #290856: Pull request #38348 synchronize by mirajcs

17m 22s

17m 22s

feat(Geometry/Curve): add Frenet–Serret framework continuous integration (mathlib forks) #290855: Pull request #38348 synchronize by mirajcs

8m 52s

8m 52s

refactor(Algebra/Category/ModuleCat/Sheaf/Free): generalize SheafOfModules.mapFree continuous integration (mathlib forks) #290854: Pull request #38341 synchronize by justus-springer

12m 25s

12m 25s

feat(Data/Set): add Set.diag API continuous integration (mathlib forks) #290853: Pull request #38380 opened by linesthatinterlace

In progress

In progress

feat(Order/OmegaCompletePartialOrder): least fixed point and Scott induction continuous integration (mathlib forks) #290852: Pull request #38316 synchronize by tannerduve

12m 35s

12m 35s

feat(Probability): multivariate CLT (and Cramèr-Wold) continuous integration (mathlib forks) #290851: Pull request #37279 synchronize by imalinowskip

12m 11s

12m 11s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290850: Pull request #26735 synchronize by Raph-DG

14m 36s

14m 36s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290849: Pull request #26735 synchronize by Raph-DG

1m 35s

1m 35s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290848: Pull request #26735 synchronize by Raph-DG

5m 59s

5m 59s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290847: Pull request #26735 synchronize by Raph-DG

31s

31s

feat: add_group tactic continuous integration (mathlib forks) #290846: Pull request #37067 synchronize by kbuzzard

12m 45s

12m 45s

feat(MeasureTheory/Function/AEEqOfLIntegral): introduce lemmas for rewriting a.e. inequalities continuous integration (mathlib forks) #290845: Pull request #34375 synchronize by jvanwinden

12m 7s

12m 7s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290844: Pull request #26735 synchronize by Raph-DG

22m 49s

22m 49s

feat(AlgebraicGeometry): The codimension of a point of a scheme is equal to the krull dimension of the stalk continuous integration (mathlib forks) #290843: Pull request #26735 synchronize by Raph-DG

4m 50s

4m 50s

chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree continuous integration (mathlib forks) #290842: Pull request #34854 synchronize by GrigorenkoPV

12m 53s

12m 53s

feat: missing lemmas for ContT.run continuous integration (mathlib forks) #290841: Pull request #38379 synchronize by eric-wieser

12m 2s

12m 2s

feat(Algebra/Colimit/DirectLimit): add star structures (Star, StarRing, etc.) on DirectLimit continuous integration (mathlib forks) #290840: Pull request #38308 synchronize by drocta

18m 24s

18m 24s

feat(Algebra/Colimit/DirectLimit): add star structures (Star, StarRing, etc.) on DirectLimit continuous integration (mathlib forks) #290839: Pull request #38308 synchronize by drocta

10m 23s

10m 23s

feat: missing lemmas for ContT.run continuous integration (mathlib forks) #290838: Pull request #38379 synchronize by eric-wieser

9m 54s

9m 54s

feat: missing lemmas for ContT.run continuous integration (mathlib forks) #290837: Pull request #38379 synchronize by eric-wieser

56s

56s

feat(Algebra/Colimit/DirectLimit): add star structures (Star, StarRing, etc.) on DirectLimit continuous integration (mathlib forks) #290836: Pull request #38308 synchronize by drocta

10m 7s

10m 7s

feat: missing lemmas for ContT.run continuous integration (mathlib forks) #290835: Pull request #38379 synchronize by eric-wieser

6m 45s

6m 45s

feat(Combinatorics/SimpleGraph/Copy): maxDegree is monotonic, and minDegree is monotonic over a surjective Copy continuous integration (mathlib forks) #290834: Pull request #38355 synchronize by SnirBroshi

12m 30s

12m 30s

feat(Data.Finset.Powerset): add powerset_filter_sdiff and powersetCard_filter_sdiff continuous integration (mathlib forks) #290833: Pull request #38370 synchronize by FordUniver

48m 12s

48m 12s