Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
742 workflow runs
742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #893987882 Dependabot Updates #7: by dependabot bot
October 1, 2024 12:20 42s
October 1, 2024 12:20 42s
simplify proof in Misc.lean .github/workflows/push.yml #403: Commit 4be01dd pushed by fpvandoorn
September 27, 2024 14:27 11m 32s master
master
September 27, 2024 14:27 11m 32s
split the ForestOperator file (#138) .github/workflows/push.yml #402: Commit 5e49c36 pushed by fpvandoorn
September 27, 2024 13:17 11m 34s master
master
September 27, 2024 13:17 11m 34s
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 (#137) .github/workflows/push.yml #401: Commit 1eead74 pushed by pitmonticone
September 26, 2024 18:35 12m 4s master
master
September 26, 2024 18:35 12m 4s
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 (#136) .github/workflows/push.yml #400: Commit 4f652aa pushed by fpvandoorn
September 26, 2024 13:23 12m 13s master
master
September 26, 2024 13:23 12m 13s
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
update update-mathlib script .github/workflows/push.yml #399: Commit d47fde1 pushed by fpvandoorn
September 25, 2024 15:10 13m 7s master
master
September 25, 2024 15:10 13m 7s
prove adjoint_tree_control (#135) .github/workflows/push.yml #398: Commit 5b9797e pushed by fpvandoorn
September 25, 2024 14:52 11m 22s master
master
September 25, 2024 14:52 11m 22s
incorporate blueprint fix .github/workflows/push.yml #397: Commit 68e8622 pushed by fpvandoorn
September 25, 2024 14:44 11m 29s master
master
September 25, 2024 14:44 11m 29s
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
Fixed two typos in section 7 of blueprint .github/workflows/push.yml #396: Commit 5e26c5c pushed by lbeckermath
September 25, 2024 12:28 11m 13s master
master
September 25, 2024 12:28 11m 13s
Task 61 (#134) .github/workflows/push.yml #395: Commit ff89e6f pushed by fpvandoorn
September 25, 2024 10:02 22m 31s master
master
September 25, 2024 10:02 22m 31s
Update mathlib, deduplicate some lemmas (#133) .github/workflows/push.yml #394: Commit e805e2e pushed by fpvandoorn
September 25, 2024 10:02 22m 52s master
master
September 25, 2024 10:02 22m 52s
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
fix(push_pr): check with Kenv=dev .github/workflows/push.yml #393: Commit 6822f48 pushed by fpvandoorn
September 25, 2024 09:53 11m 14s master
master
September 25, 2024 09:53 11m 14s
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
start on 7.4.3, also add measurability conditions .github/workflows/push.yml #392: Commit bbe2c5a pushed by fpvandoorn
September 24, 2024 16:05 11m 6s master
master
September 24, 2024 16:05 11m 6s
underscores in label names do not seem to work properly .github/workflows/push.yml #391: Commit eeb77c9 pushed by fpvandoorn
September 24, 2024 12:54 11m 47s master
master
September 24, 2024 12:54 11m 47s
Lemma 7.2.4 (#132) .github/workflows/push.yml #390: Commit 43d3f30 pushed by fpvandoorn
September 24, 2024 09:23 11m 27s master
master
September 24, 2024 09:23 11m 27s
Proposition 2.0.2, split Discrete.Forests (#131) .github/workflows/push.yml #389: Commit 310e13d pushed by fpvandoorn
September 24, 2024 09:18 11m 20s master
master
September 24, 2024 09:18 11m 20s