Skip to content

Actions: loefflerd/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge conflicts Merge conflicts #16638: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7890: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #18069: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #816: completed by loefflerd
9s
9s
review fixes continuous integration #816: Commit 99160f7 pushed by loefflerd
1s DL_measure_3
DL_measure_3
1s
review fixes Run pre-commit and in-place update PR on push #630: Commit 99160f7 pushed by loefflerd
30s DL_measure_3
DL_measure_3
30s
Merge conflicts Merge conflicts #16637: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #815: completed by loefflerd
10s
10s
Update Mathlib/NumberTheory/Padics/Measure/Group.lean continuous integration #815: Commit bb45f2a pushed by loefflerd
1s DL_measure_3
DL_measure_3
1s
Update Mathlib/NumberTheory/Padics/Measure/Group.lean Run pre-commit and in-place update PR on push #629: Commit bb45f2a pushed by loefflerd
35s DL_measure_3
DL_measure_3
35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #814: completed by loefflerd
1s
1s
slight cleanup, guard against import creep continuous integration #814: Commit 1bc3053 pushed by loefflerd
1s DL_modform_parseval
DL_modform_parseval
1s
slight cleanup, guard against import creep Run pre-commit and in-place update PR on push #628: Commit 1bc3053 pushed by loefflerd
26s DL_modform_parseval
DL_modform_parseval
26s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2196: Scheduled
7s master
master
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #813: completed by loefflerd
9s
9s
Apply batched suggestions from code review continuous integration #813: Commit 2266872 pushed by loefflerd
11s DL_modform_parseval
DL_modform_parseval
11s
Apply batched suggestions from code review Run pre-commit and in-place update PR on push #627: Commit 2266872 pushed by loefflerd
25s DL_modform_parseval
DL_modform_parseval
25s
Dependent Issues Dependent Issues #18068: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #7889: Scheduled
9s master
master
9s
Merge conflicts Merge conflicts #16636: Scheduled
7s master
master
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #812: completed by loefflerd
8s
8s
Apply batched suggestions from code review continuous integration #812: Commit 26f0069 pushed by loefflerd
7s DL_modform_parseval
DL_modform_parseval
7s
Apply batched suggestions from code review Run pre-commit and in-place update PR on push #626: Commit 26f0069 pushed by loefflerd
29s DL_modform_parseval
DL_modform_parseval
29s
feat(NumberTheory/ModularForms): Parseval for q-expansions and mean square bound for any period (suggestions for #43558) Add "closed-pr" emoji in Zulip #1: Pull request #1 closed by CBirkbeck
2s
2s
feat(NumberTheory/ModularForms): Parseval for q-expansions and mean square bound for any period (suggestions for #43558) Cross off linked issues #1: Pull request #1 closed by CBirkbeck
10s CBirkbeck:cb/modform-parseval-suggestions
CBirkbeck:cb/modform-parseval-suggestions
10s