Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
369 workflow runs
369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

split the ForestOperator file .github/workflows/push_pr.yml #381: Pull request #138 opened by fpvandoorn
September 27, 2024 12:51 7m 52s forestoperatorsplit
forestoperatorsplit
September 27, 2024 12:51 7m 52s
refactor: golf .github/workflows/push_pr.yml #380: Pull request #137 synchronize by pitmonticone
September 26, 2024 18:14 7m 48s pitmonticone/golfing
pitmonticone/golfing
September 26, 2024 18:14 7m 48s
refactor: golf .github/workflows/push_pr.yml #379: Pull request #137 synchronize by pitmonticone
September 26, 2024 18:12 7m 43s pitmonticone/golfing
pitmonticone/golfing
September 26, 2024 18:12 7m 43s
Finish the proof of Lemma 7.1.5 + Lemma 7.4.7 .github/workflows/push_pr.yml #378: Pull request #136 synchronize by Parcly-Taxel
September 26, 2024 09:58 7m 45s Parcly-Taxel:finish-l715
Parcly-Taxel:finish-l715
September 26, 2024 09:58 7m 45s
Finish the proof of Lemma 7.1.5 + Lemma 7.4.7 .github/workflows/push_pr.yml #377: Pull request #136 opened by Parcly-Taxel
September 26, 2024 02:55 7m 43s Parcly-Taxel:finish-l715
Parcly-Taxel:finish-l715
September 26, 2024 02:55 7m 43s
prove adjoint_tree_control .github/workflows/push_pr.yml #376: Pull request #135 opened by fpvandoorn
September 25, 2024 14:42 7m 47s adjoint_tree_control
adjoint_tree_control
September 25, 2024 14:42 7m 47s
Update mathlib, deduplicate some lemmas .github/workflows/push_pr.yml #375: Pull request #133 synchronize by fpvandoorn
September 25, 2024 09:54 7m 32s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
September 25, 2024 09:54 7m 32s
Task 61 .github/workflows/push_pr.yml #374: Pull request #134 opened by Parcly-Taxel
September 25, 2024 08:05 8m 23s Parcly-Taxel:hasStrongType_maximalFunction
Parcly-Taxel:hasStrongType_maximalFunction
September 25, 2024 08:05 8m 23s
Update mathlib, deduplicate some lemmas .github/workflows/push_pr.yml #373: Pull request #133 opened by Parcly-Taxel
September 25, 2024 01:30 7m 50s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
September 25, 2024 01:30 7m 50s
Lemma 7.2.4 .github/workflows/push_pr.yml #372: Pull request #132 synchronize by Parcly-Taxel
September 21, 2024 17:11 8m 3s Parcly-Taxel:l724
Parcly-Taxel:l724
September 21, 2024 17:11 8m 3s
Lemma 7.2.4 .github/workflows/push_pr.yml #371: Pull request #132 opened by Parcly-Taxel
September 21, 2024 16:49 7m 54s Parcly-Taxel:l724
Parcly-Taxel:l724
September 21, 2024 16:49 7m 54s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #370: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 13:59 7m 33s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 13:59 7m 33s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #369: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 13:39 7m 29s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 13:39 7m 29s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #368: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 10:17 7m 39s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 10:17 7m 39s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #367: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 10:07 7m 25s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 10:07 7m 25s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #366: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 08:26 7m 32s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 08:26 7m 32s
Proposition 2.0.2, split Discrete.Forests .github/workflows/push_pr.yml #365: Pull request #131 opened by Parcly-Taxel
September 21, 2024 01:43 7m 52s Parcly-Taxel:split-forests
Parcly-Taxel:split-forests
September 21, 2024 01:43 7m 52s
Lemma 7.1.1, 7.1.2 and most of 7.1.5 .github/workflows/push_pr.yml #364: Pull request #130 opened by Parcly-Taxel
September 20, 2024 11:33 7m 49s Parcly-Taxel:forestop1
Parcly-Taxel:forestop1
September 20, 2024 11:33 7m 49s
Lemma 5.5.2 .github/workflows/push_pr.yml #363: Pull request #129 synchronize by Parcly-Taxel
September 19, 2024 05:27 8m 31s Parcly-Taxel:l552
Parcly-Taxel:l552
September 19, 2024 05:27 8m 31s
Lemma 5.5.2 .github/workflows/push_pr.yml #362: Pull request #129 opened by Parcly-Taxel
September 19, 2024 05:17 8m 52s Parcly-Taxel:l552
Parcly-Taxel:l552
September 19, 2024 05:17 8m 52s
Miscellaneous golfs, mostly to RealInterpolation.lean .github/workflows/push_pr.yml #361: Pull request #128 synchronize by grunweg
September 15, 2024 20:09 8m 17s grunweg:MR-cleanup3
grunweg:MR-cleanup3
September 15, 2024 20:09 8m 17s
Miscellaneous golfs, mostly to RealInterpolation.lean .github/workflows/push_pr.yml #360: Pull request #128 synchronize by grunweg
September 15, 2024 15:53 7m 44s grunweg:MR-cleanup3
grunweg:MR-cleanup3
September 15, 2024 15:53 7m 44s
Miscellaneous golfs, mostly to RealInterpolation.lean .github/workflows/push_pr.yml #359: Pull request #128 synchronize by grunweg
September 15, 2024 15:45 7m 39s grunweg:MR-cleanup3
grunweg:MR-cleanup3
September 15, 2024 15:45 7m 39s
Miscellaneous golfs, mostly to RealInterpolation.lean .github/workflows/push_pr.yml #358: Pull request #128 opened by grunweg
September 15, 2024 15:42 7m 46s grunweg:MR-cleanup3
grunweg:MR-cleanup3
September 15, 2024 15:42 7m 46s
Some real interpolation cleanup .github/workflows/push_pr.yml #357: Pull request #127 synchronize by fpvandoorn
September 13, 2024 21:28 7m 53s fvd/realinterp-cleanup1
fvd/realinterp-cleanup1
September 13, 2024 21:28 7m 53s