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
Merge branch 'master' into chore/relation-duplication/symmetric Run pre-commit and in-place update PR on push #1160: Commit 6f0889a pushed by SnirBroshi
26s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
26s
update dependencies after merge Run pre-commit and in-place update PR on push #1159: Commit 369216c pushed by SnirBroshi
30s feature/simple-graph/edegree
feature/simple-graph/edegree
30s
@[nontriviality] Run pre-commit and in-place update PR on push #1158: Commit 939124b pushed by SnirBroshi
24s feature/order/subsingleton-rel-refl
feature/order/subsingleton-rel-refl
24s
degrees of G.induce s Run pre-commit and in-place update PR on push #1157: Commit 5096e0b pushed by SnirBroshi
28s feature/simple-graph/edegree
feature/simple-graph/edegree
28s
tag notMem_support_iff_isIsolated as simp Run pre-commit and in-place update PR on push #1156: Commit ed01300 pushed by SnirBroshi
25s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
25s
fix #lint Run pre-commit and in-place update PR on push #1155: Commit 727ab10 pushed by SnirBroshi
27s feature/simple-graph/edegree
feature/simple-graph/edegree
27s
fix #lint Run pre-commit and in-place update PR on push #1154: Commit 18c67d2 pushed by SnirBroshi
25s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
25s
give edges_cycleBypass_subset the sublist treatment Run pre-commit and in-place update PR on push #1153: Commit fab30ef pushed by SnirBroshi
32s feature/simple-graph/walk/support-sublist-prefix-suffix
feature/simple-graph/walk/support-sublist-prefix-suffix
32s
update docstring of sigmaFiberFromRel Run pre-commit and in-place update PR on push #1152: Commit fa03e4b pushed by SnirBroshi
33s feature/sym2-fromrel-ndrec-and-equiv-quot
feature/sym2-fromrel-ndrec-and-equiv-quot
33s
use IsIsolated more Run pre-commit and in-place update PR on push #1151: Commit 8f0c410 pushed by SnirBroshi
31s feature/simple-graph/edegree
feature/simple-graph/edegree
31s
add IsIsolated ⊥ v Run pre-commit and in-place update PR on push #1150: Commit 7b30387 pushed by SnirBroshi
28s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
28s
respell eq_bot_iff_neighborSet using IsIsolated Run pre-commit and in-place update PR on push #1149: Commit eebae33 pushed by SnirBroshi
29s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
29s
fix rename Run pre-commit and in-place update PR on push #1148: Commit 10592da pushed by SnirBroshi
28s feature/simple-graph/edge-coloring
feature/simple-graph/edge-coloring
28s
edgeColoringEmbeddingofColorEmbedding -> edgeColoringEmbedding Run pre-commit and in-place update PR on push #1147: Commit d477069 pushed by SnirBroshi
35s feature/simple-graph/edge-coloring
feature/simple-graph/edge-coloring
35s
lt -> gt Run pre-commit and in-place update PR on push #1146: Commit d2c4464 pushed by SnirBroshi
34s feature/order/well-order-iff
feature/order/well-order-iff
34s
Merge branch 'master' into feature/order/subsingleton-rel-refl Run pre-commit and in-place update PR on push #1145: Commit 5205d78 pushed by SnirBroshi
35s feature/order/subsingleton-rel-refl
feature/order/subsingleton-rel-refl
35s
fix Graph/Maps.lean Run pre-commit and in-place update PR on push #1144: Commit 9da4f80 pushed by SnirBroshi
32s chore/relation-duplication/symmetric
chore/relation-duplication/symmetric
32s
un-namespace EdgeColoring.ofColor{Embedding/Iso} to get dot-notatio… Run pre-commit and in-place update PR on push #1143: Commit 32343e7 pushed by SnirBroshi
24s feature/simple-graph/edge-coloring
feature/simple-graph/edge-coloring
24s
protect bot Run pre-commit and in-place update PR on push #1142: Commit 23d1413 pushed by SnirBroshi
28s feature/simple-graph/edge-coloring
feature/simple-graph/edge-coloring
28s
granular @[expose] Run pre-commit and in-place update PR on push #1141: Commit b970fec pushed by SnirBroshi
23s feature/simple-graph/edge-coloring
feature/simple-graph/edge-coloring
23s
fix StronglyRegular.lean Run pre-commit and in-place update PR on push #1140: Commit 035f7b0 pushed by SnirBroshi
29s feature/simple-graph/edegree
feature/simple-graph/edegree
29s
extract Basic.lean stuff to separate PR Run pre-commit and in-place update PR on push #1139: Commit cb2a7a3 pushed by SnirBroshi
24s feature/simple-graph/edegree
feature/simple-graph/edegree
24s
fix StronglyRegular.lean Run pre-commit and in-place update PR on push #1138: Commit 8723af5 pushed by SnirBroshi
25s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
25s
fix Finite.lean Run pre-commit and in-place update PR on push #1137: Commit d9c6ac2 pushed by SnirBroshi
31s feature/simple-graph/neighborset-isolated-lemmas
feature/simple-graph/neighborset-isolated-lemmas
31s
feat(Combinatorics/SimpleGraph/Basic): `G.edgeSet ⊆ s.sym2 ↔ G.suppor… Run pre-commit and in-place update PR on push #1136: Commit 08c4c3b pushed by SnirBroshi
29s feature/simple-graph/support-subset-edge-set
feature/simple-graph/support-subset-edge-set
29s