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,708 workflow runs
1,708 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
feat(Algebra/QuadraticAlgebra/Basic): norm = det of left-mul endomorp… Run pre-commit and in-place update PR on push #208: Commit 5073c5b pushed by SnirBroshi
33s feature/quad-algebra/norm-eq-det
feature/quad-algebra/norm-eq-det
33s
feat(Data/Matrix/Mul): mulVec and vecMul are injective w.r.t. the… Run pre-commit and in-place update PR on push #207: Commit 8011afa pushed by SnirBroshi
26s feature/matrix/mulvec-injective
feature/matrix/mulvec-injective
26s
feat(Combinatorics/SimpleGraph/Connectivity/Connected): elaborate mor… Run pre-commit and in-place update PR on push #206: Commit ce7a172 pushed by SnirBroshi
40s feature/graph-connected-or-compl-connected
feature/graph-connected-or-compl-connected
40s
feat(Combinatorics/SimpleGraph/Connectivity/Connected): add useful le… Run pre-commit and in-place update PR on push #205: Commit 1a46bca pushed by SnirBroshi
33s feature/graph-connected-or-compl-connected
feature/graph-connected-or-compl-connected
33s
chore(Combinatorics/SimpleGraph/Connectivity): style cleanup at `conn… Run pre-commit and in-place update PR on push #204: Commit f5760f0 pushed by SnirBroshi
30s feature/graph-connected-or-compl-connected
feature/graph-connected-or-compl-connected
30s
Merge branch 'feature/list-equiv-count-eq-one' into feature/hamiltoni… Run pre-commit and in-place update PR on push #203: Commit 32d7715 pushed by SnirBroshi
23s feature/hamiltonian-equiv-fin
feature/hamiltonian-equiv-fin
23s
Merge branch 'master' into feature/list-equiv-count-eq-one Run pre-commit and in-place update PR on push #202: Commit 26522c1 pushed by SnirBroshi
19s feature/list-equiv-count-eq-one
feature/list-equiv-count-eq-one
19s
feat(Combinatorics/SimpleGraph/Hamiltonian): tag supportGetEquiv an… Run pre-commit and in-place update PR on push #201: Commit 3bebc94 pushed by SnirBroshi
33s feature/hamiltonian-equiv-fin
feature/hamiltonian-equiv-fin
33s
feat(Data/List/NodupEquivFin): tag getEquivOfForallCountEqOne with … Run pre-commit and in-place update PR on push #200: Commit f389875 pushed by SnirBroshi
28s feature/list-equiv-count-eq-one
feature/list-equiv-count-eq-one
28s
chore(Data/List/Basic): fix errors Run pre-commit and in-place update PR on push #199: Commit 0fa80a7 pushed by SnirBroshi
39s feature/list-get-surjective
feature/list-get-surjective
39s
chore(Algebra/Polynomial): small golfs Run pre-commit and in-place update PR on push #198: Commit 5cfe192 pushed by SnirBroshi
31s feature/polynomial-lemmas
feature/polynomial-lemmas
31s
Merge remote-tracking branch 'origin/master' into feature/polynomial-… Run pre-commit and in-place update PR on push #197: Commit 4344b9f pushed by SnirBroshi
31s feature/polynomial-lemmas
feature/polynomial-lemmas
31s
Merge remote-tracking branch 'origin/master' into feature/list-get-su… Run pre-commit and in-place update PR on push #196: Commit b4a334c pushed by SnirBroshi
33s feature/list-get-surjective
feature/list-get-surjective
33s
chore(Data/List/Basic): tag *_surjective_iff with simp Run pre-commit and in-place update PR on push #195: Commit c094b24 pushed by SnirBroshi
30s feature/list-get-surjective
feature/list-get-surjective
30s
Merge remote-tracking branch 'origin/master' into feature/list-mem-if… Run pre-commit and in-place update PR on push #194: Commit 9baf7e2 pushed by SnirBroshi
30s feature/list-mem-iff-fin
feature/list-mem-iff-fin
30s
Merge remote-tracking branch 'origin/master' into feature/list-getd-e… Run pre-commit and in-place update PR on push #193: Commit 721b532 pushed by SnirBroshi
41s feature/list-getd-eq-get
feature/list-getd-eq-get
41s
chore(Combinatorics/SimpleGraph/Connectivity/Subgraph): very small go… Run pre-commit and in-place update PR on push #192: Commit ef6ed68 pushed by SnirBroshi
29s feature/simple-graph/subgraph/walk-map-to-subgraph
feature/simple-graph/subgraph/walk-map-to-subgraph
29s
feat(Combinatorics/SimpleGraph/Connectivity/Subgraph): fix simp tags Run pre-commit and in-place update PR on push #191: Commit 6c46865 pushed by SnirBroshi
28s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
28s
feat(Combinatorics/SimpleGraph/Connectivity/Subgraph): shorten lemma … Run pre-commit and in-place update PR on push #190: Commit 94068d0 pushed by SnirBroshi
33s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
33s
feat(Combinatorics/SimpleGraph/Walk): inducing a walk to G[s] and t… Run pre-commit and in-place update PR on push #189: Commit a823182 pushed by SnirBroshi
38s feature/simple-graph/walk-induce-subset
feature/simple-graph/walk-induce-subset
38s
chore(Algebra/FieldTheory/IsAlgClosed/Basic): ungeneralize `exists_ae… Run pre-commit and in-place update PR on push #188: Commit bd00c9c pushed by SnirBroshi
29s feature/polynomial-lemmas
feature/polynomial-lemmas
29s
feat(Combinatorics/SimpleGraph/Connectivity/Subgraph): Run pre-commit and in-place update PR on push #187: Commit 8342ba1 pushed by SnirBroshi
27s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
27s
feat(Combinatorics/SimpleGraph/Subgraph): generalize induce_top_adj… Run pre-commit and in-place update PR on push #186: Commit 35dfb34 pushed by SnirBroshi
28s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
28s
feat(Combinatorics/SimpleGraph/Subgraph): add a lemma relating the `A… Run pre-commit and in-place update PR on push #185: Commit 7b53990 pushed by SnirBroshi
34s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
34s
Merge remote-tracking branch 'origin/master' into feature/graph-compo… Run pre-commit and in-place update PR on push #184: Commit c5672af pushed by SnirBroshi
30s feature/graph-components-card-le
feature/graph-components-card-le
30s
ProTip! You can narrow down the results and go further in time using created:<2025-10-24 or the other filters available.