Skip to content

Actions: SnirBroshi/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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2076: completed by SnirBroshi
2s
2s
fix ValuationSubring continuous integration #2077: Commit b94a989 pushed by SnirBroshi
1s chore/order/delete-le-instances
chore/order/delete-le-instances
1s
fix ValuationSubring Run pre-commit and in-place update PR on push #2059: Commit b94a989 pushed by SnirBroshi
27s chore/order/delete-le-instances
chore/order/delete-le-instances
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2075: completed by SnirBroshi
7s
7s
chore(Order/RelClasses): remove redundant instances continuous integration #2076: Commit 75e4770 pushed by SnirBroshi
1s chore/order/delete-le-instances
chore/order/delete-le-instances
1s
chore(Order/RelClasses): remove redundant instances Run pre-commit and in-place update PR on push #2058: Commit 75e4770 pushed by SnirBroshi
34s chore/order/delete-le-instances
chore/order/delete-le-instances
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2074: completed by SnirBroshi
Skipped
Skipped
feat(Data/List): sublist is a partial order and subperm is a preorder continuous integration #2075: Commit 1bc0ea2 pushed by SnirBroshi
7s feature/list/is-equiv
feature/list/is-equiv
7s
feat(Data/List): sublist is a partial order and subperm is a preorder Run pre-commit and in-place update PR on push #2057: Commit 1bc0ea2 pushed by SnirBroshi
38s feature/list/is-equiv
feature/list/is-equiv
38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2073: completed by SnirBroshi
1s
1s
update deprecation continuous integration #2074: Commit f8bb45d pushed by SnirBroshi
1s feature/simple-graph/relation-props
feature/simple-graph/relation-props
1s
update deprecation Run pre-commit and in-place update PR on push #2056: Commit f8bb45d pushed by SnirBroshi
35s feature/simple-graph/relation-props
feature/simple-graph/relation-props
35s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2072: completed by SnirBroshi
1s
1s
rename lower_inf_upper_of_linearOrder continuous integration #2073: Commit a864166 pushed by SnirBroshi
9s feature/order/topology-upper-lower-eq-preorder
feature/order/topology-upper-lower-eq-preorder
9s
rename lower_inf_upper_of_linearOrder Run pre-commit and in-place update PR on push #2055: Commit a864166 pushed by SnirBroshi
26s feature/order/topology-upper-lower-eq-preorder
feature/order/topology-upper-lower-eq-preorder
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2071: completed by SnirBroshi
2s
2s
reorder for consistency continuous integration #2072: Commit 4137094 pushed by SnirBroshi
1s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
1s
reorder for consistency Run pre-commit and in-place update PR on push #2054: Commit 4137094 pushed by SnirBroshi
26s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2070: completed by SnirBroshi
8s
8s
to_dual self continuous integration #2071: Commit 9f32cae pushed by SnirBroshi
7s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
7s
to_dual self Run pre-commit and in-place update PR on push #2053: Commit 9f32cae pushed by SnirBroshi
29s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2069: completed by SnirBroshi
7s
7s
chore(Order/Interval/Set/Image): use to_dual continuous integration #2070: Commit 8a6868d pushed by SnirBroshi
10s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
10s
chore(Order/Interval/Set/Image): use to_dual Run pre-commit and in-place update PR on push #2052: Commit 8a6868d pushed by SnirBroshi
32s chore/to-dual/order-interval-set-image
chore/to-dual/order-interval-set-image
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2068: completed by SnirBroshi
7s
7s