Skip to content

Actions: mcdoll/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20,428 workflow runs
20,428 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #7742: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #2740: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6651: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #7741: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6650: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #2739: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #602: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #7740: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6649: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #7739: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #2738: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6648: 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. #501: completed by mcdoll
1s
1s
deriv continuous integration #524: Commit f99f63d pushed by mcdoll
1s fderiv_fourier
fderiv_fourier
1s
deriv Run pre-commit and in-place update PR on push #435: Commit f99f63d pushed by mcdoll
27s fderiv_fourier
fderiv_fourier
27s
Dependent Issues Dependent Issues #7738: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6647: 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. #500: completed by mcdoll
1s
1s
integral_fourierInv Run pre-commit and in-place update PR on push #434: Commit 34a6a38 pushed by mcdoll
28s fourier_inv
fourier_inv
28s
integral_fourierInv continuous integration #523: Commit 34a6a38 pushed by mcdoll
1s fourier_inv
fourier_inv
1s
Dependent Issues Dependent Issues #7737: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #6646: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #7736: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #2737: Scheduled
2s master
master
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #499: completed by mcdoll
Skipped
Skipped