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,758 workflow runs
1,758 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
fix Run pre-commit and in-place update PR on push #1758: Commit 0760276 pushed by SnirBroshi
26s feature/simple-graph/egirth-cyclegraph
feature/simple-graph/egirth-cyclegraph
26s
fix Run pre-commit and in-place update PR on push #1757: Commit e80e24d pushed by SnirBroshi
29s feature/sym2/card-api
feature/sym2/card-api
29s
Merge branch 'master' into feature/measure-theory/holder-inequality-s… Run pre-commit and in-place update PR on push #1756: Commit cee1692 pushed by SnirBroshi
33s feature/measure-theory/holder-inequality-strict
feature/measure-theory/holder-inequality-strict
33s
Merge branch 'feature/simple-graph/girth-egirth' into feature/simple-… Run pre-commit and in-place update PR on push #1755: Commit 8213b0d pushed by SnirBroshi
30s feature/simple-graph/egirth-cyclegraph
feature/simple-graph/egirth-cyclegraph
30s
Merge branch 'master' into feature/simple-graph/girth-egirth Run pre-commit and in-place update PR on push #1754: Commit 1ba00a0 pushed by SnirBroshi
28s feature/simple-graph/girth-egirth
feature/simple-graph/girth-egirth
28s
Merge branch 'master' into chore/simple-graph/rename-girth-le-length Run pre-commit and in-place update PR on push #1753: Commit 4e68c1d pushed by SnirBroshi
27s chore/simple-graph/rename-girth-le-length
chore/simple-graph/rename-girth-le-length
27s
Merge branch 'master' into chore/simple-graph/paths-spell-iic Run pre-commit and in-place update PR on push #1752: Commit 8ef4609 pushed by SnirBroshi
23s chore/simple-graph/paths-spell-iic
chore/simple-graph/paths-spell-iic
23s
Merge branch 'master' into feature/simple-graph/iscycle-iff-getvert-i… Run pre-commit and in-place update PR on push #1751: Commit 7781864 pushed by SnirBroshi
24s feature/simple-graph/iscycle-iff-getvert-injon
feature/simple-graph/iscycle-iff-getvert-injon
24s
no need to by_contra Run pre-commit and in-place update PR on push #1750: Commit a5a2cad pushed by SnirBroshi
22s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
22s
revert map_apply_apply Run pre-commit and in-place update PR on push #1749: Commit 957c7fe pushed by SnirBroshi
27s golf/relation-grind
golf/relation-grind
27s
fix typos Run pre-commit and in-place update PR on push #1748: Commit 2768571 pushed by SnirBroshi
24s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
24s
fix some names Run pre-commit and in-place update PR on push #1747: Commit 6f9b859 pushed by SnirBroshi
28s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
28s
add "The" in the docstrings Run pre-commit and in-place update PR on push #1746: Commit 3dba58d pushed by SnirBroshi
27s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
27s
add myself to Hamiltonian file authors Run pre-commit and in-place update PR on push #1745: Commit f2016e7 pushed by SnirBroshi
27s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
27s
feat(Combinatorics/SimpleGraph/Hamiltonian): the Bondy-Chvátal theorem Run pre-commit and in-place update PR on push #1744: Commit 162dd24 pushed by SnirBroshi
32s feature/simple-graph/bondy-chvatal
feature/simple-graph/bondy-chvatal
32s
Merge branch 'master' into golf/data-seq-computation Run pre-commit and in-place update PR on push #1743: Commit 754e507 pushed by SnirBroshi
21s golf/data-seq-computation
golf/data-seq-computation
21s
Merge branch 'master' into golf/relation-grind Run pre-commit and in-place update PR on push #1742: Commit 9321a92 pushed by SnirBroshi
28s golf/relation-grind
golf/relation-grind
28s
add incidenceSet and encard variants Run pre-commit and in-place update PR on push #1741: Commit 7c6196c pushed by SnirBroshi
28s feature/simple-graph/ncard-neighborset-degree
feature/simple-graph/ncard-neighborset-degree
28s
golf mk_mem_edges_iff_exists (thanks Vlad!) Run pre-commit and in-place update PR on push #1740: Commit 930c1aa pushed by SnirBroshi
22s feature/simple-graph/walk/edges-darts-mem-getelem
feature/simple-graph/walk/edges-darts-mem-getelem
22s
chore(Combinatorics/SimpleGraph/Operations): golf edge lemmas Run pre-commit and in-place update PR on push #1739: Commit 91b2944 pushed by SnirBroshi
34s golf/simple-graph/operations-edge
golf/simple-graph/operations-edge
34s
fix Run pre-commit and in-place update PR on push #1738: Commit e286da2 pushed by SnirBroshi
23s chore/set/reduce-defeq/basics
chore/set/reduce-defeq/basics
23s
Merge branch 'master' into chore/set/reduce-defeq/basics Run pre-commit and in-place update PR on push #1737: Commit f8b7b9d pushed by SnirBroshi
26s chore/set/reduce-defeq/basics
chore/set/reduce-defeq/basics
26s
Merge branch 'master' into feature/order/isup-of-empty-simp Run pre-commit and in-place update PR on push #1736: Commit e5dd6c0 pushed by SnirBroshi
29s feature/order/isup-of-empty-simp
feature/order/isup-of-empty-simp
29s
Merge branch 'master' into feature/sym2/card-api Run pre-commit and in-place update PR on push #1735: Commit 43424e9 pushed by SnirBroshi
24s feature/sym2/card-api
feature/sym2/card-api
24s
Merge branch 'master' into feature/simple-graph/tree-has-two-leaves Run pre-commit and in-place update PR on push #1734: Commit bc87928 pushed by SnirBroshi
28s feature/simple-graph/tree-has-two-leaves
feature/simple-graph/tree-has-two-leaves
28s