Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
960 workflow runs
960 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: progress towards Lemma 8.0.1 .github/workflows/push_pr.yml #485: Pull request #160 synchronize by grunweg
November 12, 2024 16:43 8m 10s grunweg:MR-statements-8.0.1
grunweg:MR-statements-8.0.1
November 12, 2024 16:43 8m 10s
slight clarification .github/workflows/push.yml #442: Commit 692823e pushed by fpvandoorn
November 12, 2024 09:13 11m 10s master
master
November 12, 2024 09:13 11m 10s
chore: enable the flexible and multi-goal linters (#169) .github/workflows/push.yml #441: Commit b084a0c pushed by fpvandoorn
November 12, 2024 09:12 11m 37s master
master
November 12, 2024 09:12 11m 37s
Update update_mathlib.sh .github/workflows/push.yml #440: Commit b664103 pushed by pitmonticone
November 11, 2024 21:55 11m 39s master
master
November 11, 2024 21:55 11m 39s
fix jekyll metadata warning .github/workflows/push.yml #439: Commit 7d63245 pushed by pitmonticone
November 11, 2024 21:49 11m 0s master
master
November 11, 2024 21:49 11m 0s
chore: split documentation generation into a sub-directory (#170) .github/workflows/push.yml #438: Commit 15a604b pushed by pitmonticone
November 11, 2024 21:19 23m 39s master
master
November 11, 2024 21:19 23m 39s
chore: split documentation generation into a sub-directory .github/workflows/push_pr.yml #484: Pull request #170 synchronize by pitmonticone
November 11, 2024 21:09 8m 35s grunweg:MR-split-docs
grunweg:MR-split-docs
November 11, 2024 21:09 8m 35s
chore: label sorries from bumping to 4.13.0 (#168) .github/workflows/push.yml #437: Commit 6c63cdd pushed by fpvandoorn
November 11, 2024 16:25 5m 59s master
master
November 11, 2024 16:25 5m 59s
chore: label sorries from bumping to 4.13.0 .github/workflows/push_pr.yml #483: Pull request #168 synchronize by grunweg
November 11, 2024 16:15 7m 46s grunweg:MR-bump-cleanup
grunweg:MR-bump-cleanup
November 11, 2024 16:15 7m 46s
chore: enable the flexible and multi-goal linters .github/workflows/push_pr.yml #482: Pull request #169 synchronize by grunweg
November 11, 2024 16:14 8m 10s grunweg:MR-flexible-multigoal
grunweg:MR-flexible-multigoal
November 11, 2024 16:14 8m 10s
chore: split documentation generation into a sub-directory .github/workflows/push_pr.yml #481: Pull request #170 synchronize by grunweg
November 11, 2024 16:11 7m 53s grunweg:MR-split-docs
grunweg:MR-split-docs
November 11, 2024 16:11 7m 53s
chore: split documentation generation into a sub-directory .github/workflows/push_pr.yml #480: Pull request #170 synchronize by grunweg
November 11, 2024 16:09 8m 13s grunweg:MR-split-docs
grunweg:MR-split-docs
November 11, 2024 16:09 8m 13s
chore: enable the flexible and multi-goal linters .github/workflows/push_pr.yml #479: Pull request #169 synchronize by grunweg
November 11, 2024 16:03 8m 16s grunweg:MR-flexible-multigoal
grunweg:MR-flexible-multigoal
November 11, 2024 16:03 8m 16s
chore: split documentation generation into a sub-directory .github/workflows/push_pr.yml #478: Pull request #170 opened by grunweg
November 11, 2024 15:32 8m 18s grunweg:MR-split-docs
grunweg:MR-split-docs
November 11, 2024 15:32 8m 18s
chore: enable the flexible and multi-goal linters .github/workflows/push_pr.yml #477: Pull request #169 synchronize by grunweg
November 11, 2024 15:29 8m 9s grunweg:MR-flexible-multigoal
grunweg:MR-flexible-multigoal
November 11, 2024 15:29 8m 9s
chore: enable two uncontroversial mathlib linters (#167) .github/workflows/push.yml #436: Commit eb4e159 pushed by fpvandoorn
November 11, 2024 15:08 6m 21s master
master
November 11, 2024 15:08 6m 21s
chore: use fun_prop more (#166) .github/workflows/push.yml #435: Commit 06e4e94 pushed by fpvandoorn
November 11, 2024 15:06 6m 4s master
master
November 11, 2024 15:06 6m 4s
chore: enable two uncontroversial mathlib linters .github/workflows/push_pr.yml #476: Pull request #167 opened by grunweg
November 11, 2024 13:45 8m 7s grunweg:MR-linters
grunweg:MR-linters
November 11, 2024 13:45 8m 7s
chore: use fun_prop more .github/workflows/push_pr.yml #475: Pull request #166 opened by grunweg
November 11, 2024 13:44 7m 48s grunweg:MR-funprop
grunweg:MR-funprop
November 11, 2024 13:44 7m 48s
chore(DirichletKernel): reduce line length; use variables slightly more .github/workflows/push_pr.yml #474: Pull request #165 opened by grunweg
November 11, 2024 13:43 8m 0s grunweg:MR-tweak-dirichlet
grunweg:MR-tweak-dirichlet
November 11, 2024 13:43 8m 0s
chore: bump to Mathlib 4.13.0 (#162) Create Release #3: Commit 0f438e4 pushed by fpvandoorn
November 10, 2024 23:31 16s master
master
November 10, 2024 23:31 16s
chore: bump to Mathlib 4.13.0 (#162) .github/workflows/push.yml #434: Commit 0f438e4 pushed by fpvandoorn
November 10, 2024 23:31 5m 54s master
master
November 10, 2024 23:31 5m 54s
chore: bump to Mathlib 4.13.0 .github/workflows/push_pr.yml #473: Pull request #162 synchronize by pitmonticone
November 10, 2024 20:13 7m 55s grunweg:MR-bump413
grunweg:MR-bump413
November 10, 2024 20:13 7m 55s
chore: bump to Mathlib 4.13.0 .github/workflows/push_pr.yml #472: Pull request #162 synchronize by pitmonticone
November 10, 2024 20:11 8m 28s grunweg:MR-bump413
grunweg:MR-bump413
November 10, 2024 20:11 8m 28s
chore: bump to Mathlib 4.13.0 .github/workflows/push_pr.yml #471: Pull request #162 synchronize by pitmonticone
November 10, 2024 20:11 8m 5s grunweg:MR-bump413
grunweg:MR-bump413
November 10, 2024 20:11 8m 5s