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. #1380: completed by SnirBroshi
1s
1s
feat(GroupTheory/IsPGroup): p-groups with coprime p are disjoint continuous integration #1380: Commit afdd324 pushed by SnirBroshi
1s feature/group-theory/disjoint-p-groups
feature/group-theory/disjoint-p-groups
1s
feat(GroupTheory/IsPGroup): p-groups with coprime p are disjoint Run pre-commit and in-place update PR on push #1362: Commit afdd324 pushed by SnirBroshi
30s feature/group-theory/disjoint-p-groups
feature/group-theory/disjoint-p-groups
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1379: completed by SnirBroshi
2s
2s
fixes due to simpNF removals continuous integration #1379: Commit 2cea632 pushed by SnirBroshi
1s chore/order/linear-order-infer-decidable-le
chore/order/linear-order-infer-decidable-le
1s
fixes due to simpNF removals Run pre-commit and in-place update PR on push #1361: Commit 2cea632 pushed by SnirBroshi
28s chore/order/linear-order-infer-decidable-le
chore/order/linear-order-infer-decidable-le
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1378: completed by SnirBroshi
2s
2s
simpNF fixes continuous integration #1378: Commit c8be172 pushed by SnirBroshi
2s chore/order/linear-order-infer-decidable-le
chore/order/linear-order-infer-decidable-le
2s
simpNF fixes Run pre-commit and in-place update PR on push #1360: Commit c8be172 pushed by SnirBroshi
28s chore/order/linear-order-infer-decidable-le
chore/order/linear-order-infer-decidable-le
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1377: completed by SnirBroshi
1s
1s
mk_all continuous integration #1377: Commit 429a32e pushed by SnirBroshi
1s feature/group-theory/center-prod
feature/group-theory/center-prod
1s
mk_all Run pre-commit and in-place update PR on push #1359: Commit 429a32e pushed by SnirBroshi
33s feature/group-theory/center-prod
feature/group-theory/center-prod
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1376: completed by SnirBroshi
1s
1s
two more definitional lemmas for completeness continuous integration #1376: Commit bd4f438 pushed by SnirBroshi
2s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
2s
two more definitional lemmas for completeness Run pre-commit and in-place update PR on push #1358: Commit bd4f438 pushed by SnirBroshi
32s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1375: completed by SnirBroshi
1s
1s
Preorder section continuous integration #1375: Commit 4711abb pushed by SnirBroshi
1s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
1s
Preorder section Run pre-commit and in-place update PR on push #1357: Commit 4711abb pushed by SnirBroshi
21s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1374: completed by SnirBroshi
1s
1s
to_dual continuous integration #1374: Commit 7586e3b pushed by SnirBroshi
2s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
2s
to_dual Run pre-commit and in-place update PR on push #1356: Commit 7586e3b pushed by SnirBroshi
23s feature/order/conditionally-complete-with-top-bot-instances
feature/order/conditionally-complete-with-top-bot-instances
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1373: completed by SnirBroshi
1s
1s
delete Pi.forall_forall continuous integration #1373: Commit 469f45a pushed by SnirBroshi
1s feature/group-theory/center-prod
feature/group-theory/center-prod
1s
delete Pi.forall_forall Run pre-commit and in-place update PR on push #1355: Commit 469f45a pushed by SnirBroshi
20s feature/group-theory/center-prod
feature/group-theory/center-prod
20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1372: completed by SnirBroshi
1s
1s