Skip to content

Actions: SnirBroshi/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,260 workflow runs
1,260 workflow runs

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
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
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
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
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
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
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
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
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
feat(LinearAlgebra/Matrix/Defs): lift more algebraic classes Run pre-commit and in-place update PR on push #1252: Commit 20b17b9 pushed by SnirBroshi
33s feature/matrix/cancel-comm-instances
feature/matrix/cancel-comm-instances
33s
*_trans -> *_trans_* Run pre-commit and in-place update PR on push #1251: Commit 5aeeb78 pushed by SnirBroshi
33s feature/matrix/reindex-ring-equiv
feature/matrix/reindex-ring-equiv
33s
docstrings for WellFoundedLT.min/WellFoundedGT.max Run pre-commit and in-place update PR on push #1250: Commit a80b2b8 pushed by SnirBroshi
25s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
25s
feat(Analysis/Convex/Jensen): more forms of Jensen's strict inequality Run pre-commit and in-place update PR on push #1249: Commit 9a0c2ad pushed by SnirBroshi
30s feature/analysis/more-jensen-strict
feature/analysis/more-jensen-strict
30s
WellFoundedLT.min Run pre-commit and in-place update PR on push #1248: Commit 30305fe pushed by SnirBroshi
26s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
26s
"well" -> "co-well" in docstring Run pre-commit and in-place update PR on push #1247: Commit d83ff13 pushed by SnirBroshi
33s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
33s
docstrings Run pre-commit and in-place update PR on push #1246: Commit 19869e4 pushed by SnirBroshi
22s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
22s
chore(Order/WellFounded): use to_dual Run pre-commit and in-place update PR on push #1245: Commit fae2180 pushed by SnirBroshi
26s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
26s
chore(Order/WellFounded): use to_dual Run pre-commit and in-place update PR on push #1244: Commit 6494155 pushed by SnirBroshi
28s chore/to-dual/order-well-founded
chore/to-dual/order-well-founded
28s
chore(Data/Set/Card): make s.ncard the simpNF of Fintype.card s Run pre-commit and in-place update PR on push #1243: Commit 07938b8 pushed by SnirBroshi
32s chore/unsimp-fintype-card-set
chore/unsimp-fintype-card-set
32s
Merge branch 'master' into feature/group-theory/commutator-le-sup Run pre-commit and in-place update PR on push #1242: Commit 49764fe pushed by SnirBroshi
28s feature/group-theory/commutator-le-sup
feature/group-theory/commutator-le-sup
28s
add commutator le spelling Run pre-commit and in-place update PR on push #1241: Commit 9cffbe8 pushed by SnirBroshi
2m 45s feature/group-theory/commutator-le-sup
feature/group-theory/commutator-le-sup
2m 45s
Merge branch 'master' into feature/simple-graph/acyclic-path-eq-snd Run pre-commit and in-place update PR on push #1240: Commit 237fdb5 pushed by SnirBroshi
35s feature/simple-graph/acyclic-path-eq-snd
feature/simple-graph/acyclic-path-eq-snd
35s
prefer (α := ...) over @ Run pre-commit and in-place update PR on push #1239: Commit c3df7f0 pushed by SnirBroshi
28s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
28s
grind Run pre-commit and in-place update PR on push #1238: Commit ba9fbfc pushed by SnirBroshi
30s feature/simple-graph/acyclic-path-eq-snd
feature/simple-graph/acyclic-path-eq-snd
30s
split normal_subgroupOf_commutator_sup Run pre-commit and in-place update PR on push #1237: Commit 6845705 pushed by SnirBroshi
23s feature/group-theory/commutator-le-sup
feature/group-theory/commutator-le-sup
23s
generalize a bit more Run pre-commit and in-place update PR on push #1236: Commit c7a68e3 pushed by SnirBroshi
26s feature/matrix/generalize-rank-semiring
feature/matrix/generalize-rank-semiring
26s