Skip to content

feat(math): add finite stochastic processes domain with sigma algebras, conditional expectation, filtrations, and Doob martingales (#1806) #4958

feat(math): add finite stochastic processes domain with sigma algebras, conditional expectation, filtrations, and Doob martingales (#1806)

feat(math): add finite stochastic processes domain with sigma algebras, conditional expectation, filtrations, and Doob martingales (#1806) #4958

Triggered via pull request August 18, 2026 19:58
Status Failure
Total duration 1m 27s
Artifacts 17

ci.yml

on: pull_request
Matrix: boundaries
Matrix: python
Lean Runtime
0s
Lean Runtime
Matrix: wheel
required
4s
required
Fit to window
Zoom out
Zoom in

Annotations

2 errors
static
Process completed with exit code 2.
required
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
61.8 KB
sha256:7bcb107b03529c5c2500de585c4213b03713d8fddb1a4f0f9e9b61cd17d059a5
coverage-data-mcp
498 KB
sha256:7afc71ea0d04a26a36e1938b9869c793cc30b09f180b383efc139a385e02d84c
coverage-data-process
77.6 KB
sha256:69cc439da413876ab8943b1324545ec5ebae8cc97d273b727b317bd0a922a12d
coverage-data-python-catalog
542 KB
sha256:9eec1deb0b0e299fa201dac4d40dc38ab0a12ea6b7f2b2cd37ff9b48e2b8fd47
coverage-data-python-cli
481 KB
sha256:85eb7ce2f6a09b86c73eaa004f9877b67681f1d7b7e461421e769ad90f79ed4f
coverage-data-python-dispatch
472 KB
sha256:7404f57c325d132c2ef5e4d61c7b1651f430ce79c8a84f7d3f731f0bff85ee3c
coverage-data-python-integration
743 KB
sha256:26c973934645675d5b0812b9d433cdb7a90e09ccddaeae71c789478f33b95686
coverage-data-python-math
481 KB
sha256:0fcac472de6141b4f70de509a174879eac6a5cd43fea719ab58e4d1fdac8ca56
coverage-data-python-tooling
17.1 KB
sha256:c8629f7a3b6c93ed66a3a2713a847b950a686ed88dcde3d109b4ff90dee53c17
junit-mcp-3.12
831 Bytes
sha256:a72af4499ccda0d20e7cdf70dd5182415816455386d04532f9e3bd3a0c72943a
junit-process-3.12
2.69 KB
sha256:f669605bf70d5235e004e9749bc62c56df8275879cff47599149eb5ccf71fd33
junit-python-catalog-3.12
1.02 KB
sha256:1e6d87822cc8798e4d259bf7a2f879a2c91a06307079232c739ab6a2519dbefd
junit-python-cli-3.12
440 Bytes
sha256:56566b045cb55fff847d4b81dddb443465f133597a5f5957b951e2126eee7cf8
junit-python-dispatch-3.12
606 Bytes
sha256:28071703d472a3a3cc6f6a7d632a4fd32a6f3275afea6bb1d4470ec0959f8b75
junit-python-integration-3.12
4.53 KB
sha256:62dd8149cef08fd6d2b82079abbc1ef6c86a500aef98a762a4f0148529509ab7
junit-python-math-3.12
18.7 KB
sha256:ef85722860e643eeb81692ab2c331bacd772da21d50357e37da90df2e9357e53
junit-python-tooling-3.12
4.4 KB
sha256:43ee8801b8d06fdfe2941c78ba7e40382f639388533abad2eddedd08b558e3da