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

refactor: golf TileExistence.lean .github/workflows/push_pr.yml #322: Pull request #113 opened by pitmonticone
August 29, 2024 10:03 6m 42s pitmonticone/golf-TileExistence
pitmonticone/golf-TileExistence
August 29, 2024 10:03 6m 42s
add_pos .github/workflows/push_pr.yml #321: Pull request #112 opened by madvorak
August 28, 2024 17:03 7m 5s madvorak:master
madvorak:master
August 28, 2024 17:03 7m 5s
Set.Countable.measure_biUnion_le_lintegral and HasWeakType.MB_one .github/workflows/push_pr.yml #320: Pull request #111 opened by js2357
August 20, 2024 15:48 7m 14s js2357:HasWeakType_MB_One
js2357:HasWeakType_MB_One
August 20, 2024 15:48 7m 14s
Fix constants in blueprint (#110) .github/workflows/push.yml #364: Commit 1f34aa3 pushed by fpvandoorn
August 14, 2024 13:11 10m 7s master
master
August 14, 2024 13:11 10m 7s
fix some linter warnings .github/workflows/push.yml #363: Commit f8b1d21 pushed by fpvandoorn
August 14, 2024 12:37 10m 3s master
master
August 14, 2024 12:37 10m 3s
make measure_ball_le_of_dist_le' more useful .github/workflows/push.yml #362: Commit 6760862 pushed by fpvandoorn
August 14, 2024 11:30 10m 7s master
master
August 14, 2024 11:30 10m 7s
add measurability assumption in antichain_operator .github/workflows/push.yml #361: Commit 8c8aaf3 pushed by fpvandoorn
August 14, 2024 11:04 10m 43s master
master
August 14, 2024 11:04 10m 43s
Fix constants in blueprint .github/workflows/push_pr.yml #319: Pull request #110 opened by mariainesdff
August 14, 2024 09:36 7m 5s mariainesdff/blueprint6
mariainesdff/blueprint6
August 14, 2024 09:36 7m 5s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #318: Pull request #106 synchronize by Parcly-Taxel
August 14, 2024 07:02 7m 14s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
August 14, 2024 07:02 7m 14s
use https .github/workflows/push.yml #360: Commit 82413bf pushed by fpvandoorn
August 13, 2024 22:36 9m 50s master
master
August 13, 2024 22:36 9m 50s
Update mathlib4 to v4.11.0-rc2 (#109) .github/workflows/push.yml #359: Commit 59dcd93 pushed by fpvandoorn
August 13, 2024 21:53 21m 32s master
master
August 13, 2024 21:53 21m 32s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #317: Pull request #109 synchronize by Parcly-Taxel
August 13, 2024 03:46 6m 53s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 13, 2024 03:46 6m 53s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #316: Pull request #109 synchronize by Parcly-Taxel
August 10, 2024 04:48 7m 29s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 10, 2024 04:48 7m 29s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #315: Pull request #109 synchronize by Parcly-Taxel
August 10, 2024 03:04 7m 23s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 10, 2024 03:04 7m 23s
progress on 6.1.3 .github/workflows/push.yml #358: Commit 4f239f7 pushed by mariainesdff
August 9, 2024 14:08 10m 15s master
master
August 9, 2024 14:08 10m 15s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #314: Pull request #109 synchronize by Parcly-Taxel
August 9, 2024 03:57 7m 14s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 9, 2024 03:57 7m 14s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #313: Pull request #109 synchronize by Parcly-Taxel
August 7, 2024 15:34 7m 29s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 7, 2024 15:34 7m 29s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #312: Pull request #109 synchronize by Parcly-Taxel
August 7, 2024 13:21 7m 27s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 7, 2024 13:21 7m 27s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #311: Pull request #106 synchronize by Parcly-Taxel
August 7, 2024 12:59 7m 17s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
August 7, 2024 12:59 7m 17s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #310: Pull request #109 synchronize by Parcly-Taxel
August 7, 2024 12:57 3m 51s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 7, 2024 12:57 3m 51s
Merge branch 'master' of https://github.com/fpvandoorn/carleson .github/workflows/push.yml #357: Commit 27ad24e pushed by mariainesdff
August 7, 2024 12:36 10m 1s master
master
August 7, 2024 12:36 10m 1s
Prove MeasureTheory.SublinearOn.maximalFunction (#107) .github/workflows/push.yml #356: Commit 6ae9c49 pushed by fpvandoorn
August 7, 2024 08:35 10m 8s master
master
August 7, 2024 08:35 10m 8s
Added a.e. version of classical Carleson; some cleanup. (#108) .github/workflows/push.yml #355: Commit b732845 pushed by fpvandoorn
August 7, 2024 08:33 10m 11s master
master
August 7, 2024 08:33 10m 11s
Added a.e. version of classical Carleson; some cleanup. .github/workflows/push_pr.yml #309: Pull request #108 synchronize by fpvandoorn
August 7, 2024 08:32 6m 39s ldiedering:master
ldiedering:master
August 7, 2024 08:32 6m 39s
Added a.e. version of classical Carleson; some cleanup. .github/workflows/push_pr.yml #308: Pull request #108 synchronize by fpvandoorn
August 7, 2024 08:29 7m 22s ldiedering:master
ldiedering:master
August 7, 2024 08:29 7m 22s