Skip to content

Actions: CoolRmal/brownian-motion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More work on Choquet's theorem (#395) Create Release #3: Commit 81233a6 pushed by CoolRmal
20s master
master
20s
More work on Choquet's theorem (#395) Compile blueprint #8: Commit 81233a6 pushed by CoolRmal
2h 53m 21s master
master
2h 53m 21s
Blueprint: more on the L2M space (#332) Compile blueprint #7: Commit d4190a1 pushed by CoolRmal
58m 8s master
master
58m 8s
fix: Change Adapted to ProgMeasurable in ClassD and ClassDL (… Compile blueprint #6: Commit 6bbd7dd pushed by CoolRmal
59m 6s master
master
59m 6s
chore: modernise linter setup (#308) Compile blueprint #5: Commit 0d6cc4a pushed by CoolRmal
6h 0m 19s master
master
6h 0m 19s
blueprint: Some lemmas for locally cadlag (#298) Compile blueprint #4: Commit 7595fe6 pushed by CoolRmal
6h 0m 20s master
master
6h 0m 20s
blueprint: Some lemmas for locally cadlag (#298) Create Release #2: Commit 7595fe6 pushed by CoolRmal
14s master
master
14s
Add space freeing workflow step (#299) Compile blueprint #3: Commit 5815821 pushed by CoolRmal
1h 0m 28s master
master
1h 0m 28s
feat: add optional sampling for submartingales (#253) Compile blueprint #2: Commit 1749846 pushed by CoolRmal
57m 58s master
master
57m 58s
feat(Auxiliary/Jensen): prove norm_condExp_le (#242) Compile blueprint #1: Commit fa4ab6f pushed by CoolRmal
56m 53s master
master
56m 53s
feat(Auxiliary/Jensen): prove norm_condExp_le (#242) Create Release #1: Commit fa4ab6f pushed by CoolRmal
7s master
master
7s