Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
1,150 workflow runs
1,150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proved RCLike.induction with Aristotle .github/workflows/push_pr.yml #1737: Pull request #539 opened by madeve-unipi
17m 24s madeve-unipi:rclikeinduction
madeve-unipi:rclikeinduction
17m 24s
Filled another sorry with Aristotle .github/workflows/push_pr.yml #1736: Pull request #538 opened by madeve-unipi
15m 33s madeve-unipi:sorryfills
madeve-unipi:sorryfills
15m 33s
Filled one sorry with Aristotle .github/workflows/push_pr.yml #1735: Pull request #537 opened by madeve-unipi
16m 1s madeve-unipi:master
madeve-unipi:master
16m 1s
chore: bump to v4.28.0 .github/workflows/push_pr.yml #1734: Pull request #536 synchronize by Ruben-VandeVelde
15m 18s Ruben-VandeVelde:bump-28
Ruben-VandeVelde:bump-28
15m 18s
chore: bump to v4.28.0 .github/workflows/push_pr.yml #1733: Pull request #536 opened by Ruben-VandeVelde
15m 51s Ruben-VandeVelde:bump-28
Ruben-VandeVelde:bump-28
15m 51s
Paper task 5 "statement of main results" .github/workflows/push_pr.yml #1732: Pull request #535 opened by JasperMS
15m 52s JasperMS:paper-task5
JasperMS:paper-task5
15m 52s
chore(workflows): bump docgen-action .github/workflows/push_pr.yml #1731: Pull request #534 synchronize by grunweg
15m 55s bump_docgen-action
bump_docgen-action
15m 55s
chore(workflows): bump docgen-action .github/workflows/push_pr.yml #1730: Pull request #534 opened by pitmonticone
15m 23s bump_docgen-action
bump_docgen-action
15m 23s
feat: some writing about tactic support and real numbers .github/workflows/push_pr.yml #1729: Pull request #533 opened by grunweg
16m 0s tactics
tactics
16m 0s
chore: weaken definiteness assumptions for Real interpolation .github/workflows/push_pr.yml #1728: Pull request #532 opened by grunweg
16m 22s eseminorm
eseminorm
16m 22s
chore: bump to mathlib 4.27.0 .github/workflows/push_pr.yml #1727: Pull request #531 opened by grunweg
16m 46s bump
bump
16m 46s
chore: bump to v4.27.0 .github/workflows/push_pr.yml #1726: Pull request #530 opened by Ruben-VandeVelde
17m 5s Ruben-VandeVelde:bump-27
Ruben-VandeVelde:bump-27
17m 5s
chore: bump mathlib and golf using finiteness .github/workflows/push_pr.yml #1725: Pull request #529 synchronize by grunweg
16m 59s bumpgolf
bumpgolf
16m 59s
chore: bump mathlib and golf using finiteness .github/workflows/push_pr.yml #1724: Pull request #529 synchronize by grunweg
17m 33s bumpgolf
bumpgolf
17m 33s
chore: bump mathlib and golf using finiteness .github/workflows/push_pr.yml #1723: Pull request #529 synchronize by grunweg
16m 38s bumpgolf
bumpgolf
16m 38s
chore: bump mathlib .github/workflows/push_pr.yml #1722: Pull request #527 synchronize by grunweg
17m 18s bump
bump
17m 18s
chore: bump mathlib .github/workflows/push_pr.yml #1721: Pull request #527 synchronize by grunweg
16m 43s bump
bump
16m 43s
chore: bump mathlib .github/workflows/push_pr.yml #1720: Pull request #527 synchronize by grunweg
16m 47s bump
bump
16m 47s
chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 .github/workflows/push_pr.yml #1719: Pull request #528 opened by dependabot bot
17m 17s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
17m 17s
feat: write paper sections about enorms, the maximal function and the real interpolation theorem .github/workflows/push_pr.yml #1718: Pull request #526 synchronize by grunweg
16m 51s paper1
paper1
16m 51s
feat: write paper sections about enorms, the maximal function and the real interpolation theorem .github/workflows/push_pr.yml #1717: Pull request #526 synchronize by grunweg
16m 57s paper1
paper1
16m 57s
chore: bump mathlib .github/workflows/push_pr.yml #1716: Pull request #527 opened by grunweg
17m 23s bump
bump
17m 23s
feat: write paper sections about enorms, the maximal function and the real interpolation theorem .github/workflows/push_pr.yml #1715: Pull request #526 opened by grunweg
17m 23s paper1
paper1
17m 23s
Reorganise Lorentz.lean .github/workflows/push_pr.yml #1714: Pull request #521 synchronize by grunweg
16m 35s ldiedering:interpolation_sorries
ldiedering:interpolation_sorries
16m 35s
Reorganise Lorentz.lean .github/workflows/push_pr.yml #1713: Pull request #521 synchronize by grunweg
16m 30s ldiedering:interpolation_sorries
ldiedering:interpolation_sorries
16m 30s