Skip to content

Actions: SmaniaD/UnbalancedHaarWavelet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
documentation and Reame updated Lean build #72: Commit da0d032 pushed by SmaniaD
15m 20s main
main
15m 20s
Merge pull request #1 from SmaniaD/relax-grid-measure-decrease Lean build #71: Commit 1418f01 pushed by SmaniaD
14m 45s main
main
14m 45s
Relax grid measure decrease Lean build #70: Pull request #1 opened by SmaniaD
14m 43s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 43s
Update lake-manifest.json Lean build #69: Commit 02d9969 pushed by SmaniaD
14m 39s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 39s
Update HaarWaveletsCoeffs.lean Lean build #68: Commit 7e508dc pushed by SmaniaD
14m 30s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 30s
added coments everywhere Lean build #67: Commit 159fb1c pushed by SmaniaD
15m 30s relax-grid-measure-decrease
relax-grid-measure-decrease
15m 30s
Create AGENTS.md Lean build #66: Commit 0283b81 pushed by SmaniaD
14m 59s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 59s
docstrings added Lean build #65: Commit 9cd9a8b pushed by SmaniaD
15m 41s relax-grid-measure-decrease
relax-grid-measure-decrease
15m 41s
Update HaarWaveletsUnconditionalBasis.lean Lean build #64: Commit a62573d pushed by SmaniaD
15m 23s relax-grid-measure-decrease
relax-grid-measure-decrease
15m 23s
Update HaarWaveletsUnconditionalBasis.lean Lean build #63: Commit 1e5a222 pushed by SmaniaD
14m 50s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 50s
Update HaarWavelets_def_Martingale.lean Lean build #62: Commit ee713c4 pushed by SmaniaD
14m 44s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 44s
Update HaarWavelets_def_Martingale.lean Lean build #61: Commit e90e557 pushed by SmaniaD
4m 23s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 23s
Update HaarWavelets_def_Martingale.lean Lean build #60: Commit 4f59b6b pushed by SmaniaD
4m 40s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 40s
Update HaarWavelets_def_Martingale.lean Lean build #59: Commit c14ced3 pushed by SmaniaD
4m 23s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 23s
martingale connnection fixed? Lean build #58: Commit 4ae188a pushed by SmaniaD
4m 20s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 20s
Update HaarWavelets_def_Martingale.lean Lean build #57: Commit e7d41f3 pushed by SmaniaD
4m 49s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 49s
Update HaarWavelets_def_Martingale.lean Lean build #56: Commit fa9cca0 pushed by SmaniaD
4m 47s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 47s
Update HaarWavelets_def_Martingale.lean Lean build #55: Commit bfe382f pushed by SmaniaD
4m 14s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 14s
Update HaarWavelets_def_Martingale.lean Lean build #54: Commit e4a048e pushed by SmaniaD
4m 25s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 25s
Update HaarWavelets_def_Martingale.lean Lean build #53: Commit c0bbe8a pushed by SmaniaD
4m 28s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 28s
induced binary tree ok for grid that elemtns can be only one child Lean build #52: Commit e99432e pushed by SmaniaD
4m 28s relax-grid-measure-decrease
relax-grid-measure-decrease
4m 28s
tentando adaptar Lean build #51: Commit 1cc93c6 pushed by SmaniaD
15m 12s relax-grid-measure-decrease
relax-grid-measure-decrease
15m 12s
Update lake-manifest.json Lean build #50: Commit 14c19ef pushed by SmaniaD
14m 35s relax-grid-measure-decrease
relax-grid-measure-decrease
14m 35s
Update lake-manifest.json Lean build #49: Commit 14c19ef pushed by SmaniaD
15m 18s v0.1.3
v0.1.3
15m 18s
Update lake-manifest.json Lean build #48: Commit 14c19ef pushed by SmaniaD
14m 45s main
main
14m 45s