Skip to content

Actions: formalproofs/probability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stashing changes Compile blueprint #43: Commit 432c987 pushed by keithbadger
14m 58s main
main
14m 58s
Added lint check and fixed lint messages Compile blueprint #42: Commit f67b03e pushed by marekpetrik
11m 51s main
main
11m 51s
small VaR-related comments Compile blueprint #41: Commit c48a37d pushed by marekpetrik
10m 37s main
main
10m 37s
removed old code Compile blueprint #40: Commit 8ab8cfb pushed by marekpetrik
11m 34s main
main
11m 34s
Merge branch 'lotus' Compile blueprint #39: Commit b23758a pushed by marekpetrik
14m 5s main
main
14m 5s
Merge pull request #34 from formalproofs/lotus Compile blueprint #38: Commit 715b08c pushed by marekpetrik
12m 1s main
main
12m 1s
Merge pull request #33 from formalproofs/lotus Compile blueprint #37: Commit 76a6b0b pushed by marekpetrik
12m 39s main
main
12m 39s
Merge pull request #32 from formalproofs/lotus Compile blueprint #36: Commit 9031777 pushed by marekpetrik
12m 22s main
main
12m 22s
Merge pull request #27 from zero-stroke/fix-sorry Compile blueprint #35: Commit e802f1a pushed by marekpetrik
11m 56s main
main
11m 56s
generalized theorem Compile blueprint #34: Commit 9f15e1d pushed by marekpetrik
13m 18s main
main
13m 18s
Merge branch 'merge-25' Compile blueprint #33: Commit 95c0131 pushed by marekpetrik
12m 9s main
main
12m 9s
small tweaks to statements Compile blueprint #32: Commit 8205df7 pushed by marekpetrik
12m 40s main
main
12m 40s
proved another theorem Compile blueprint #31: Commit f108d5c pushed by marekpetrik
13m 17s main
main
13m 17s
proved another theorem Compile blueprint #30: Commit 60b0e92 pushed by marekpetrik
12m 51s main
main
12m 51s
changed the def of expect_cond Compile blueprint #29: Commit d5df4c5 pushed by marekpetrik
10m 57s main
main
10m 57s
Merge pull request #29 from formalproofs/documentation-update Compile blueprint #28: Commit 9dcec97 pushed by marekpetrik
11m 1s main
main
11m 1s
Prove theorem expexp Lean Action CI #32: Pull request #27 synchronize by zero-stroke
6m 34s zero-stroke:fix-sorry
zero-stroke:fix-sorry
6m 34s
Prove theorem expexp Lean Action CI #31: Pull request #27 opened by zero-stroke
6m 23s zero-stroke:fix-sorry
zero-stroke:fix-sorry
6m 23s
Merge pull request #24 from darienperez/gitignore-DS_Store Compile blueprint #27: Commit 5d6c938 pushed by marekpetrik
11m 32s main
main
11m 32s
more updates to the manifest Compile blueprint #26: Commit f66c0a7 pushed by marekpetrik
44m 54s main
main
44m 54s
removed an old file Compile blueprint #25: Commit d8938e1 pushed by marekpetrik
37m 32s main
main
37m 32s
Merge branch 'merge-split' Compile blueprint #24: Commit 25ba035 pushed by marekpetrik
35m 29s main
main
35m 29s
Merge branch 'merge-split' Compile blueprint #23: Commit 3b2d41b pushed by marekpetrik
34s main
main
34s
Merge branch 'merge-split' Compile blueprint #22: Commit 50c5e1b pushed by marekpetrik
17m 10s main
main
17m 10s
Merge branch 'merge_prob_source' Compile blueprint #21: Commit 33759da pushed by marekpetrik
13m 51s main
main
13m 51s