Skip to content

Actions: RemyDegenne/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Mathlib/MeasureTheory/Measure/Portmanteau.lean Run pre-commit and in-place update PR on push #185: Commit 20f36a4 pushed by RemyDegenne
26s RD_portmanteau
RD_portmanteau
26s
Update Mathlib/MeasureTheory/Measure/Portmanteau.lean continuous integration #442: Commit 20f36a4 pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #441: completed by RemyDegenne
1s
1s
Update Mathlib/MeasureTheory/Measure/Portmanteau.lean Run pre-commit and in-place update PR on push #184: Commit 57ac5ce pushed by RemyDegenne
29s RD_portmanteau
RD_portmanteau
29s
Update Mathlib/MeasureTheory/Measure/Portmanteau.lean continuous integration #441: Commit 57ac5ce pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #440: completed by RemyDegenne
1s
1s
Update Mathlib/MeasureTheory/Measure/Portmanteau.lean continuous integration #440: Commit 1c3a8ea pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Update Mathlib/MeasureTheory/Measure/Portmanteau.lean Run pre-commit and in-place update PR on push #183: Commit 1c3a8ea pushed by RemyDegenne
26s RD_portmanteau
RD_portmanteau
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #439: completed by RemyDegenne
1s
1s
remove sentence in docstring: not applicable yet Run pre-commit and in-place update PR on push #182: Commit c15709c pushed by RemyDegenne
27s RD_continuousMapping
RD_continuousMapping
27s
remove sentence in docstring: not applicable yet continuous integration #439: Commit c15709c pushed by RemyDegenne
1s RD_continuousMapping
RD_continuousMapping
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #438: completed by RemyDegenne
1s
1s
feat: convergence in distribution and continuous mapping theorem Run pre-commit and in-place update PR on push #181: Commit f6a6bb1 pushed by RemyDegenne
27s RD_continuousMapping
RD_continuousMapping
27s
feat: convergence in distribution and continuous mapping theorem continuous integration #438: Commit f6a6bb1 pushed by RemyDegenne
1s RD_continuousMapping
RD_continuousMapping
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #437: completed by RemyDegenne
1s
1s
apply the docstring review comment to other docstrings Run pre-commit and in-place update PR on push #180: Commit 39c3a4d pushed by RemyDegenne
26s RD_portmanteau
RD_portmanteau
26s
apply the docstring review comment to other docstrings continuous integration #437: Commit 39c3a4d pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #436: completed by RemyDegenne
1s
1s
Merge branch 'RD_portmanteau' of github.com:RemyDegenne/mathlib4 into… Run pre-commit and in-place update PR on push #179: Commit 1df260f pushed by RemyDegenne
42s RD_portmanteau
RD_portmanteau
42s
Merge branch 'RD_portmanteau' of github.com:RemyDegenne/mathlib4 into… continuous integration #436: Commit 1df260f pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #435: completed by RemyDegenne
Skipped
Skipped
add ref to notation in docstrings Run pre-commit and in-place update PR on push #178: Commit 64e7f7e pushed by RemyDegenne
25s RD_indepNotation
RD_indepNotation
25s
add ref to notation in docstrings continuous integration #435: Commit 64e7f7e pushed by RemyDegenne
2s RD_indepNotation
RD_indepNotation
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #434: completed by RemyDegenne
1s
1s
fix: remove ext continuous integration #434: Commit cd4aa35 pushed by RemyDegenne
1s RD_gaussianRealExtIff
RD_gaussianRealExtIff
1s