Skip to content

Actions: Vierkantor/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
Update Mathlib Dependencies Update Mathlib Dependencies #6284: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1546: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Merge conflicts Merge conflicts #15945: Scheduled
2s nightly-regression-report-testing
nightly-regression-report-testing
2s
Dependent Issues Dependent Issues #15209: Scheduled
2s nightly-regression-report-testing
nightly-regression-report-testing
2s
Merge master to nightly Merge master to nightly #2451: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Merge conflicts Merge conflicts #15944: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Dependent Issues Dependent Issues #15208: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6283: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Merge conflicts Merge conflicts #15943: Scheduled
7s nightly-regression-report-testing
nightly-regression-report-testing
7s
Dependent Issues Dependent Issues #15207: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1545: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Merge master to nightly Merge master to nightly #2450: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Merge conflicts Merge conflicts #15942: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6282: Scheduled
2s nightly-regression-report-testing
nightly-regression-report-testing
2s
Dependent Issues Dependent Issues #15206: Scheduled
1s nightly-regression-report-testing
nightly-regression-report-testing
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #453: completed by Vierkantor
1s
1s
Merge remote-tracking branch 'upstream/master' into silence-docstring… continuous integration #458: Commit 6c1debf pushed by Vierkantor
1s silence-docstring-urls
silence-docstring-urls
1s
Merge remote-tracking branch 'upstream/master' into silence-docstring… Run pre-commit and in-place update PR on push #224: Commit 6c1debf pushed by Vierkantor
28s silence-docstring-urls
silence-docstring-urls
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #452: completed by Vierkantor
Skipped
Skipped
Merge remote-tracking branch 'upstream/master' into eqComm-optional continuous integration #457: Commit 5afbaed pushed by Vierkantor
1s eqComm-optional
eqComm-optional
1s
Merge remote-tracking branch 'upstream/master' into eqComm-optional Run pre-commit and in-place update PR on push #223: Commit 5afbaed pushed by Vierkantor
26s eqComm-optional
eqComm-optional
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #451: completed by Vierkantor
Skipped
Skipped
chore(*): small docstring syntax fixes continuous integration #456: Commit a909993 pushed by Vierkantor
1s fix-docstring-syntax2
fix-docstring-syntax2
1s
chore(*): small docstring syntax fixes Run pre-commit and in-place update PR on push #222: Commit a909993 pushed by Vierkantor
32s fix-docstring-syntax2
fix-docstring-syntax2
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #450: completed by Vierkantor
1s
1s