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. #1278: completed by SnirBroshi
Skipped
Skipped
chore(RingTheory/Polynomial/Resultant/Basic): delete solved TODO abou… continuous integration #1278: Commit 0b34392 pushed by SnirBroshi
1s chore/polynomial/resultant-delete-todo
chore/polynomial/resultant-delete-todo
1s
chore(RingTheory/Polynomial/Resultant/Basic): delete solved TODO abou… Run pre-commit and in-place update PR on push #1260: Commit 0b34392 pushed by SnirBroshi
27s chore/polynomial/resultant-delete-todo
chore/polynomial/resultant-delete-todo
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1277: completed by SnirBroshi
1s
1s
more continuous integration #1277: Commit 1b5cb63 pushed by SnirBroshi
1s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
1s
more Run pre-commit and in-place update PR on push #1259: Commit 1b5cb63 pushed by SnirBroshi
27s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1276: completed by SnirBroshi
1s
1s
a bit more continuous integration #1276: Commit 8eec0d9 pushed by SnirBroshi
1s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
1s
a bit more Run pre-commit and in-place update PR on push #1258: Commit 8eec0d9 pushed by SnirBroshi
23s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1275: completed by SnirBroshi
2s
2s
chore(RingTheory/Polynomial/Basic): golf degreeLTEquiv Run pre-commit and in-place update PR on push #1257: Commit cd8454d pushed by SnirBroshi
35s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
35s
chore(RingTheory/Polynomial/Basic): golf degreeLTEquiv continuous integration #1275: Commit cd8454d pushed by SnirBroshi
2s golf/polynomial/degree-lt-equiv
golf/polynomial/degree-lt-equiv
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1274: completed by SnirBroshi
2s
2s
revert a spelling change continuous integration #1274: Commit 58f0c66 pushed by SnirBroshi
2s chore/logic-relation-subrelation
chore/logic-relation-subrelation
2s
revert a spelling change Run pre-commit and in-place update PR on push #1256: Commit 58f0c66 pushed by SnirBroshi
27s chore/logic-relation-subrelation
chore/logic-relation-subrelation
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1273: completed by SnirBroshi
1s
1s
fill in underscores where possible Autolabel PRs #102: Commit e747057 pushed by SnirBroshi
1s chore/logic-relation-subrelation
chore/logic-relation-subrelation
1s
fill in underscores where possible continuous integration #1273: Commit e747057 pushed by SnirBroshi
1s chore/logic-relation-subrelation
chore/logic-relation-subrelation
1s
fill in underscores where possible Run pre-commit and in-place update PR on push #1255: Commit e747057 pushed by SnirBroshi
28s chore/logic-relation-subrelation
chore/logic-relation-subrelation
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1272: completed by SnirBroshi
1s
1s
setEquivPredicate -> Set.toProp Run pre-commit and in-place update PR on push #1254: Commit e171ff9 pushed by SnirBroshi
25s chore/set/reduce-defeq/basics
chore/set/reduce-defeq/basics
25s
setEquivPredicate -> Set.toProp continuous integration #1272: Commit e171ff9 pushed by SnirBroshi
1s chore/set/reduce-defeq/basics
chore/set/reduce-defeq/basics
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1271: completed by SnirBroshi
1s
1s
add Prod instances to match Pi instances Run pre-commit and in-place update PR on push #1253: Commit ecd5177 pushed by SnirBroshi
22s feature/matrix/cancel-comm-instances
feature/matrix/cancel-comm-instances
22s
add Prod instances to match Pi instances continuous integration #1271: Commit ecd5177 pushed by SnirBroshi
1s feature/matrix/cancel-comm-instances
feature/matrix/cancel-comm-instances
1s