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
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc Run pre-commit and in-place update PR on push #449: Commit 7b628a6 pushed by EtienneC30
42s indep_gauss_proc
indep_gauss_proc
42s
tidy Run pre-commit and in-place update PR on push #448: Commit 3122f23 pushed by EtienneC30
26s indep_gauss_proc
indep_gauss_proc
26s
doc Run pre-commit and in-place update PR on push #447: Commit b02714e pushed by EtienneC30
25s indep_gauss_proc
indep_gauss_proc
25s
typos Run pre-commit and in-place update PR on push #446: Commit c906340 pushed by EtienneC30
31s indep_gauss_proc
indep_gauss_proc
31s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #445: Commit a3cd5a8 pushed by EtienneC30
26s indep_gaussian
indep_gaussian
26s
fix documentation Run pre-commit and in-place update PR on push #444: Commit 85c95a6 pushed by EtienneC30
24s indep_gaussian
indep_gaussian
24s
review Run pre-commit and in-place update PR on push #443: Commit 7c8b132 pushed by EtienneC30
25s gaussian_process
gaussian_process
25s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #442: Commit f82bd33 pushed by EtienneC30
29s gaussian_process
gaussian_process
29s
replace fintype with finite Run pre-commit and in-place update PR on push #441: Commit d15d0ec pushed by EtienneC30
23s indep_gaussian
indep_gaussian
23s
revert Run pre-commit and in-place update PR on push #440: Commit 1c23a8c pushed by EtienneC30
23s indep_gaussian
indep_gaussian
23s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #439: Commit 89a51e9 pushed by EtienneC30
22s indep_gaussian
indep_gaussian
22s
change fintype to finite Run pre-commit and in-place update PR on push #438: Commit 69ef4a9 pushed by EtienneC30
24s hasGaussianLaw
hasGaussianLaw
24s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #437: Commit f1abdc9 pushed by EtienneC30
27s hasGaussianLaw
hasGaussianLaw
27s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #436: Commit 421b1a0 pushed by EtienneC30
34s hasGaussianLaw
hasGaussianLaw
34s
review Run pre-commit and in-place update PR on push #435: Commit 23a5c6c pushed by EtienneC30
26s gauss_map
gauss_map
26s
fix Run pre-commit and in-place update PR on push #434: Commit 9b8a589 pushed by EtienneC30
22s indep_gaussian
indep_gaussian
22s
Merge branch 'hasGaussianLaw' into indep_gaussian Run pre-commit and in-place update PR on push #433: Commit ebe2ba1 pushed by EtienneC30
26s indep_gaussian
indep_gaussian
26s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #432: Commit b304476 pushed by EtienneC30
28s indep_gaussian
indep_gaussian
28s
remove some second-countability hypotheses Run pre-commit and in-place update PR on push #431: Commit a0fab5a pushed by EtienneC30
29s hasGaussianLaw
hasGaussianLaw
29s
feat: another version of mapping Gaussian measures Run pre-commit and in-place update PR on push #430: Commit 469d9ea pushed by EtienneC30
33s gauss_map
gauss_map
33s
typo Run pre-commit and in-place update PR on push #429: Commit 2a2077f pushed by EtienneC30
23s indep_gauss_proc
indep_gauss_proc
23s
fix merge Run pre-commit and in-place update PR on push #428: Commit 3abf824 pushed by EtienneC30
27s deprecate
deprecate
27s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #427: Commit 4c5f533 pushed by EtienneC30
26s deprecate
deprecate
26s
Merge branch 'split' into deprecate Run pre-commit and in-place update PR on push #426: Commit 37624e2 pushed by EtienneC30
26s deprecate
deprecate
26s
Merge branch 'master' of https://github.com/leanprover-community/math… Run pre-commit and in-place update PR on push #425: Commit 5da6024 pushed by EtienneC30
33s split
split
33s