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 #16670: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7919: 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. #847: completed by loefflerd
Skipped
Skipped
Merge branch 'DL_fdMF_isThetaComp' into DL_finiteDimMF continuous integration #847: Commit b189cf3 pushed by loefflerd
1s DL_finiteDimMF
DL_finiteDimMF
1s
Merge branch 'DL_fdMF_isThetaComp' into DL_finiteDimMF Run pre-commit and in-place update PR on push #661: Commit b189cf3 pushed by loefflerd
28s DL_finiteDimMF
DL_finiteDimMF
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #846: completed by loefflerd
1s
1s
feat(Analysis/Asymptotics): add IsTheta.comp_tendsto continuous integration #846: Commit 52be93c pushed by loefflerd
1s DL_fdMF_isThetaComp
DL_fdMF_isThetaComp
1s
feat(Analysis/Asymptotics): add IsTheta.comp_tendsto Run pre-commit and in-place update PR on push #660: Commit 52be93c pushed by loefflerd
34s DL_fdMF_isThetaComp
DL_fdMF_isThetaComp
34s
Dependent Issues Dependent Issues #18102: Scheduled
1s master
master
1s
nightly-testing regression report nightly-testing regression report #291: 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. #845: completed by loefflerd
14s
14s
factor out uniqueness instance continuous integration #845: Commit c4e78f3 pushed by loefflerd
9s DL_finiteDimMF
DL_finiteDimMF
9s
factor out uniqueness instance Run pre-commit and in-place update PR on push #659: Commit c4e78f3 pushed by loefflerd
35s DL_finiteDimMF
DL_finiteDimMF
35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #844: completed by loefflerd
2s
2s
changes from downstream PR continuous integration #844: Commit b97fd47 pushed by loefflerd
1s DL_fdMF_arithgroup
DL_fdMF_arithgroup
1s
changes from downstream PR Run pre-commit and in-place update PR on push #658: Commit b97fd47 pushed by loefflerd
26s DL_fdMF_arithgroup
DL_fdMF_arithgroup
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #843: completed by loefflerd
6s
6s
port changes from downstream PR continuous integration #843: Commit 9f6f261 pushed by loefflerd
1s DL_restrictMF
DL_restrictMF
1s
port changes from downstream PR Run pre-commit and in-place update PR on push #657: Commit 9f6f261 pushed by loefflerd
33s DL_restrictMF
DL_restrictMF
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #842: completed by loefflerd
7s
7s
Changes from Chris' bot-review continuous integration #842: Commit 6ee597e pushed by loefflerd
10s DL_finiteDimMF
DL_finiteDimMF
10s
Changes from Chris' bot-review Run pre-commit and in-place update PR on push #656: Commit 6ee597e pushed by loefflerd
27s DL_finiteDimMF
DL_finiteDimMF
27s
Docgen test on nightly-testing Docgen test on nightly-testing #291: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #16669: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7918: Scheduled
10s master
master
10s