Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
514 workflow run results
514 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make metric_carleson consistent with ProofData .github/workflows/push.yml #304: Commit 7261d81 pushed by fpvandoorn
July 18, 2024 21:30 9m 24s master
master
July 18, 2024 21:30 9m 24s
Added metric space Carleson variant for two-sided Calderon-Zygmund ke… .github/workflows/push.yml #303: Commit 2f85189 pushed by fpvandoorn
July 18, 2024 20:52 10m 0s master
master
July 18, 2024 20:52 10m 0s
Added metric space Carleson variant for two-sided Calderon-Zygmund kernel .github/workflows/push_pr.yml #228: Pull request #36 synchronize by ldiedering
July 18, 2024 20:34 6m 17s ldiedering:master
ldiedering:master
July 18, 2024 20:34 6m 17s
Added metric space Carleson variant for two-sided Calderon-Zygmund kernel .github/workflows/push_pr.yml #227: Pull request #36 synchronize by ldiedering
July 18, 2024 20:26 6m 20s ldiedering:master
ldiedering:master
July 18, 2024 20:26 6m 20s
Added metric space Carleson variant for two-sided Calderon-Zygmund kernel .github/workflows/push_pr.yml #226: Pull request #36 synchronize by ldiedering
July 18, 2024 20:14 7m 5s ldiedering:master
ldiedering:master
July 18, 2024 20:14 7m 5s
add leanok .github/workflows/push.yml #302: Commit 911e993 pushed by fpvandoorn
July 18, 2024 19:40 9m 8s master
master
July 18, 2024 19:40 9m 8s
.github/workflows/push.yml .github/workflows/push.yml #301: by fpvandoorn
July 18, 2024 19:39 9m 13s master
master
July 18, 2024 19:39 9m 13s
Finishing all of 4.1 and 4.0.1 .github/workflows/push_pr.yml #225: Pull request #82 opened by edegeltje
July 18, 2024 18:58 6m 15s edegeltje:grid_definition
edegeltje:grid_definition
July 18, 2024 18:58 6m 15s
Lemma 5.2.7 (#81) .github/workflows/push.yml #300: Commit f811867 pushed by fpvandoorn
July 18, 2024 13:16 9m 30s master
master
July 18, 2024 13:16 9m 30s
Lemma 5.2.7 .github/workflows/push_pr.yml #224: Pull request #81 synchronize by Parcly-Taxel
July 17, 2024 10:36 5m 52s Parcly-Taxel:layercake
Parcly-Taxel:layercake
July 17, 2024 10:36 5m 52s
Lemma 5.2.7 .github/workflows/push_pr.yml #223: Pull request #81 synchronize by Parcly-Taxel
July 17, 2024 08:05 5m 53s Parcly-Taxel:layercake
Parcly-Taxel:layercake
July 17, 2024 08:05 5m 53s
Lemma 5.2.7 .github/workflows/push_pr.yml #222: Pull request #81 opened by Parcly-Taxel
July 17, 2024 07:52 6m 36s Parcly-Taxel:layercake
Parcly-Taxel:layercake
July 17, 2024 07:52 6m 36s
Speed up CI (#80) .github/workflows/push.yml #299: Commit 5a5a973 pushed by fpvandoorn
July 16, 2024 21:17 21m 51s master
master
July 16, 2024 21:17 21m 51s
Speed up CI .github/workflows/push_pr.yml #221: Pull request #80 synchronize by pitmonticone
July 16, 2024 20:17 6m 5s workflow
workflow
July 16, 2024 20:17 6m 5s
Speed up CI .github/workflows/push_pr.yml #220: Pull request #80 opened by pitmonticone
July 16, 2024 20:14 4m 37s workflow
workflow
July 16, 2024 20:14 4m 37s
Lemmas 5.4.5 to 5.4.7 (#79) .github/workflows/push.yml #298: Commit ac7e290 pushed by fpvandoorn
July 16, 2024 19:38 20m 7s master
master
July 16, 2024 19:38 20m 7s
Remove lake files from documentation in docs/docs .github/workflows/push.yml #297: Commit 6f311c9 pushed by pitmonticone
July 16, 2024 19:33 8m 45s workflow
workflow
July 16, 2024 19:33 8m 45s
Lemmas 5.4.5 to 5.4.7 .github/workflows/push_pr.yml #219: Pull request #79 synchronize by Parcly-Taxel
July 16, 2024 16:50 6m 1s Parcly-Taxel:urel2
Parcly-Taxel:urel2
July 16, 2024 16:50 6m 1s
Lemmas 5.4.5 to 5.4.7 .github/workflows/push_pr.yml #218: Pull request #79 opened by Parcly-Taxel
July 16, 2024 16:45 5m 58s Parcly-Taxel:urel2
Parcly-Taxel:urel2
July 16, 2024 16:45 5m 58s
Update push.yml .github/workflows/push.yml #296: Commit 32b4a44 pushed by pitmonticone
July 16, 2024 16:15 8m 53s workflow
workflow
July 16, 2024 16:15 8m 53s
Add .lake/build/doc/find to cache .github/workflows/push.yml #295: Commit e3e14a1 pushed by pitmonticone
July 16, 2024 16:15 32s workflow
workflow
July 16, 2024 16:15 32s
Add to cache .lake/build/doc/*.* .github/workflows/push.yml #294: Commit 4b88e1e pushed by pitmonticone
July 16, 2024 15:44 5m 53s workflow
workflow
July 16, 2024 15:44 5m 53s
Uncomment step .github/workflows/push.yml #293: Commit ceefb00 pushed by pitmonticone
July 16, 2024 15:05 5m 42s workflow
workflow
July 16, 2024 15:05 5m 42s
Update push.yml .github/workflows/push.yml #292: Commit 166362a pushed by pitmonticone
July 16, 2024 14:32 5m 47s workflow
workflow
July 16, 2024 14:32 5m 47s
Comment out "Remove lake files" .github/workflows/push.yml #291: Commit a050b79 pushed by pitmonticone
July 16, 2024 14:18 7m 28s workflow
workflow
July 16, 2024 14:18 7m 28s