Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,109 workflow runs
1,109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transition between having weak/strong type with toReal (#210) .github/workflows/push.yml #497: Commit 451f456 pushed by fpvandoorn
January 20, 2025 17:21 13m 37s master
master
January 20, 2025 17:21 13m 37s
feat: equation (8.0.8) .github/workflows/push_pr.yml #649: Pull request #215 opened by grunweg
January 20, 2025 17:16 10m 37s MR-eqn-8-0-8
MR-eqn-8-0-8
January 20, 2025 17:16 10m 37s
Lemma 7.6.1, BoundedCompactSupport.prod_mul (#211) .github/workflows/push.yml #496: Commit 91c71f4 pushed by grunweg
January 20, 2025 17:15 14m 4s master
master
January 20, 2025 17:15 14m 4s
WIP .github/workflows/push.yml #495: Commit 1d0d61d pushed by grunweg
January 20, 2025 17:14 13m 27s master
master
January 20, 2025 17:14 13m 27s
transition between having weak/strong type with toReal .github/workflows/push_pr.yml #648: Pull request #210 synchronize by fpvandoorn
January 20, 2025 17:03 11m 3s transition
transition
January 20, 2025 17:03 11m 3s
Lemma 7.6.1, BoundedCompactSupport.prod_mul (#211) .github/workflows/push.yml #494: Commit 91c71f4 pushed by fpvandoorn
January 20, 2025 16:16 13m 16s master
master
January 20, 2025 16:16 13m 16s
Lemma 7.5.3 (#208) .github/workflows/push.yml #493: Commit 2226ad3 pushed by fpvandoorn
January 20, 2025 14:56 13m 55s master
master
January 20, 2025 14:56 13m 55s
Fix definition of PreProofData.hasBoundedStrongType_Tstar (#212) .github/workflows/push.yml #492: Commit 26325e3 pushed by fpvandoorn
January 20, 2025 14:52 14m 25s master
master
January 20, 2025 14:52 14m 25s
Lemma 7.2.1 (#205) .github/workflows/push.yml #491: Commit 0138d63 pushed by fpvandoorn
January 20, 2025 13:56 13m 28s master
master
January 20, 2025 13:56 13m 28s
Lemma 7.5.3 .github/workflows/push_pr.yml #647: Pull request #208 synchronize by lakesare
January 20, 2025 10:40 11m 17s lakesare:lakesare/lemma_7.5.3
lakesare:lakesare/lemma_7.5.3
January 20, 2025 10:40 11m 17s
Lemma 7.5.3 .github/workflows/push_pr.yml #646: Pull request #208 synchronize by lakesare
January 20, 2025 09:54 11m 13s lakesare:lakesare/lemma_7.5.3
lakesare:lakesare/lemma_7.5.3
January 20, 2025 09:54 11m 13s
redefine upperRadius .github/workflows/push_pr.yml #645: Pull request #214 synchronize by js2357
January 19, 2025 09:48 10m 19s js2357:upperRadius
js2357:upperRadius
January 19, 2025 09:48 10m 19s
redefine upperRadius .github/workflows/push_pr.yml #644: Pull request #214 synchronize by js2357
January 19, 2025 09:38 10m 27s js2357:upperRadius
js2357:upperRadius
January 19, 2025 09:38 10m 27s
redefine upperRadius .github/workflows/push_pr.yml #643: Pull request #214 opened by js2357
January 19, 2025 08:26 5m 58s js2357:upperRadius
js2357:upperRadius
January 19, 2025 08:26 5m 58s
(WIP) Redefine upperRadius .github/workflows/push_pr.yml #642: Pull request #213 opened by js2357
January 19, 2025 08:24 11m 7s js2357:7.2.2
js2357:7.2.2
January 19, 2025 08:24 11m 7s
Lemma 7.2.1 .github/workflows/push_pr.yml #641: Pull request #205 synchronize by js2357
January 18, 2025 04:36 11m 10s js2357:7.2.1
js2357:7.2.1
January 18, 2025 04:36 11m 10s
Lemma 7.2.1 .github/workflows/push_pr.yml #640: Pull request #205 synchronize by js2357
January 18, 2025 04:33 10m 42s js2357:7.2.1
js2357:7.2.1
January 18, 2025 04:33 10m 42s
Lemma 7.2.1 .github/workflows/push_pr.yml #639: Pull request #205 synchronize by js2357
January 18, 2025 04:31 11m 18s js2357:7.2.1
js2357:7.2.1
January 18, 2025 04:31 11m 18s
Fix definition of PreProofData.hasBoundedStrongType_Tstar .github/workflows/push_pr.yml #638: Pull request #212 synchronize by js2357
January 18, 2025 03:37 10m 32s js2357:hasBoundedStrongType_Tstar
js2357:hasBoundedStrongType_Tstar
January 18, 2025 03:37 10m 32s
Fix definition of PreProofData.hasBoundedStrongType_Tstar .github/workflows/push_pr.yml #637: Pull request #212 opened by js2357
January 17, 2025 23:32 10m 26s js2357:hasBoundedStrongType_Tstar
js2357:hasBoundedStrongType_Tstar
January 17, 2025 23:32 10m 26s
Lemma 7.6.1, BoundedCompactSupport.prod_mul .github/workflows/push_pr.yml #636: Pull request #211 synchronize by roos-j
January 17, 2025 22:31 10m 27s roos-j:master
roos-j:master
January 17, 2025 22:31 10m 27s
Lemma 7.6.1, BoundedCompactSupport.prod_mul .github/workflows/push_pr.yml #635: Pull request #211 synchronize by roos-j
January 17, 2025 21:47 11m 8s roos-j:master
roos-j:master
January 17, 2025 21:47 11m 8s
Lemma 7.5.3 .github/workflows/push_pr.yml #634: Pull request #208 synchronize by lakesare
January 17, 2025 19:30 10m 30s lakesare:lakesare/lemma_7.5.3
lakesare:lakesare/lemma_7.5.3
January 17, 2025 19:30 10m 30s
Lemma 7.6.1, BoundedCompactSupport.prod_mul .github/workflows/push_pr.yml #633: Pull request #211 synchronize by roos-j
January 17, 2025 19:11 10m 55s roos-j:master
roos-j:master
January 17, 2025 19:11 10m 55s
Lemma 7.6.1, BoundedCompactSupport.prod_mul .github/workflows/push_pr.yml #632: Pull request #211 opened by roos-j
January 17, 2025 19:07 10m 57s roos-j:master
roos-j:master
January 17, 2025 19:07 10m 57s