Skip to content

Actions: EtienneC30/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
674 workflow runs
674 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
done Run pre-commit and in-place update PR on push #674: Commit 69d8391 pushed by EtienneC30
30s card_lemma
card_lemma
30s
move simp Run pre-commit and in-place update PR on push #673: Commit 2b6599a pushed by EtienneC30
30s card_lemma
card_lemma
30s
add lemma Run pre-commit and in-place update PR on push #672: Commit 3f5ecb7 pushed by EtienneC30
25s card_lemma
card_lemma
25s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #671: Commit d61ce2b pushed by EtienneC30
33s cont_meas
cont_meas
33s
remove Set. Run pre-commit and in-place update PR on push #670: Commit 964dd01 pushed by EtienneC30
25s cont_meas
cont_meas
25s
more split Run pre-commit and in-place update PR on push #669: Commit cb35c4b pushed by EtienneC30
52s cont_meas
cont_meas
52s
more Run pre-commit and in-place update PR on push #668: Commit f5f67a8 pushed by EtienneC30
28s fix_instance
fix_instance
28s
chore: remove duplicate instance Run pre-commit and in-place update PR on push #667: Commit 3f2fa8d pushed by EtienneC30
31s fix_instance
fix_instance
31s
feat: the cardinal of a finset is an ite sum over a bigger finset Run pre-commit and in-place update PR on push #666: Commit 77684d4 pushed by EtienneC30
35s card_lemma
card_lemma
35s
wip Run pre-commit and in-place update PR on push #665: Commit f9c8462 pushed by EtienneC30
26s ber_bin
ber_bin
26s
done Run pre-commit and in-place update PR on push #664: Commit f474fd8 pushed by EtienneC30
31s hasLaw_indep
hasLaw_indep
31s
Merge branch 'map_real' into hasLaw_lemmas Run pre-commit and in-place update PR on push #663: Commit 5cfb9ae pushed by EtienneC30
25s hasLaw_lemmas
hasLaw_lemmas
25s
feat: aemeasurable version of map_measureReal_apply Run pre-commit and in-place update PR on push #662: Commit 6634e0d pushed by EtienneC30
30s map_real
map_real
30s
fix font Run pre-commit and in-place update PR on push #661: Commit 9e614c4 pushed by EtienneC30
23s hasLaw_lemmas
hasLaw_lemmas
23s
feat: lemmas about HasLaw Run pre-commit and in-place update PR on push #660: Commit cac515d pushed by EtienneC30
28s hasLaw_lemmas
hasLaw_lemmas
28s
chore: fix namespace in Measure.exists_hasLaw Run pre-commit and in-place update PR on push #659: Commit 4b04669 pushed by EtienneC30
35s fix_exists
fix_exists
35s
wip Run pre-commit and in-place update PR on push #658: Commit 83e07dc pushed by EtienneC30
34s ber_bin
ber_bin
34s
wip Run pre-commit and in-place update PR on push #657: Commit a9d41ba pushed by EtienneC30
35s ber_bin
ber_bin
35s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #656: Commit 3877391 pushed by EtienneC30
27s binomial2
binomial2
27s
feat: a sum of independent Bernoulli random variables is a binomial r… Run pre-commit and in-place update PR on push #655: Commit ea88f5f pushed by EtienneC30
33s ber_bin
ber_bin
33s
fix Run pre-commit and in-place update PR on push #654: Commit 868f9c6 pushed by EtienneC30
26s depr2
depr2
26s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #653: Commit a007a41 pushed by EtienneC30
29s depr2
depr2
29s
docstring Run pre-commit and in-place update PR on push #652: Commit ed4b143 pushed by EtienneC30
24s bernoulli
bernoulli
24s
docstring Run pre-commit and in-place update PR on push #651: Commit 49601e7 pushed by EtienneC30
29s bernoulli
bernoulli
29s
fix Run pre-commit and in-place update PR on push #650: Commit e243ade pushed by EtienneC30
27s bernoulli
bernoulli
27s