Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove discrete derivative material Build Lean project #205: Commit af6c796 pushed by YaelDillies
January 20, 2025 22:53 6m 23s master
master
January 20, 2025 22:53 6m 23s
PhD: Conditional variance (#20) Build Lean project #204: Commit 4b9535b pushed by YaelDillies
January 20, 2025 22:29 6m 14s master
master
January 20, 2025 22:29 6m 14s
PhD: Conditional variance .github/workflows/push_pr.yml #37: Pull request #20 synchronize by YaelDillies
January 20, 2025 22:28 3m 24s cond_var
cond_var
January 20, 2025 22:28 3m 24s
PhD: Conditional variance .github/workflows/push_pr.yml #36: Pull request #20 synchronize by YaelDillies
January 20, 2025 22:13 3m 43s cond_var
cond_var
January 20, 2025 22:13 3m 43s
PhD: Conditional variance .github/workflows/push_pr.yml #35: Pull request #20 synchronize by YaelDillies
January 20, 2025 22:11 2m 4s cond_var
cond_var
January 20, 2025 22:11 2m 4s
PlainCombi: Symmetric Chain Decomposition .github/workflows/push_pr.yml #34: Pull request #21 synchronize by YaelDillies
January 20, 2025 22:09 3m 30s scd
scd
January 20, 2025 22:09 3m 30s
Bump mathlib Build Lean project #203: Commit d6493b1 pushed by YaelDillies
January 20, 2025 21:53 23m 49s master
master
January 20, 2025 21:53 23m 49s
PhD: Conditional variance .github/workflows/push_pr.yml #33: Pull request #20 synchronize by kex-y
January 20, 2025 18:47 3m 29s cond_var
cond_var
January 20, 2025 18:47 3m 29s
PhD: Conditional variance .github/workflows/push_pr.yml #32: Pull request #20 synchronize by kex-y
January 20, 2025 18:22 3m 30s cond_var
cond_var
January 20, 2025 18:22 3m 30s
PhD: Conditional variance .github/workflows/push_pr.yml #31: Pull request #20 synchronize by YaelDillies
January 19, 2025 22:29 3m 25s cond_var
cond_var
January 19, 2025 22:29 3m 25s
PhD: Conditional variance .github/workflows/push_pr.yml #30: Pull request #20 opened by YaelDillies
January 19, 2025 22:29 24s cond_var
cond_var
January 19, 2025 22:29 24s
Decidability of OrderShatters (#18) Build Lean project #202: Commit e3eb3e9 pushed by YaelDillies
January 18, 2025 09:42 52m 7s master
master
January 18, 2025 09:42 52m 7s
Decidability of OrderShatters .github/workflows/push_pr.yml #29: Pull request #18 synchronize by yahelmanor
January 18, 2025 09:22 3m 21s yahelmanor:master
yahelmanor:master
January 18, 2025 09:22 3m 21s
Fix reference to Lean dev location in README (#19) Build Lean project #201: Commit fc6a2a8 pushed by YaelDillies
January 18, 2025 07:42 52m 26s master
master
January 18, 2025 07:42 52m 26s
Decidability of OrderShatters .github/workflows/push_pr.yml #27: Pull request #18 opened by yahelmanor
January 17, 2025 22:55 3m 18s yahelmanor:master
yahelmanor:master
January 17, 2025 22:55 3m 18s
Remove mk_all.sh Build Lean project #200: Commit 86a43f3 pushed by YaelDillies
January 17, 2025 16:44 52m 40s master
master
January 17, 2025 16:44 52m 40s
Bumping script for the new doc-gen setup Build Lean project #199: Commit 08e3d72 pushed by YaelDillies
January 17, 2025 10:14 1h 8m 0s master
master
January 17, 2025 10:14 1h 8m 0s
Bumping script for the new doc-gen setup Build Lean project #198: Commit 7b0248b pushed by YaelDillies
January 17, 2025 10:10 1h 7m 49s master
master
January 17, 2025 10:10 1h 7m 49s
Bump mathlib Build Lean project #197: Commit dbac573 pushed by YaelDillies
January 17, 2025 10:07 1h 9m 1s master
master
January 17, 2025 10:07 1h 9m 1s
PhD: Conditional variance Build Lean project #196: Commit 04a9c58 pushed by YaelDillies
January 17, 2025 09:17 1h 15m 59s master
master
January 17, 2025 09:17 1h 15m 59s
Bump mathlib Build Lean project #195: Commit 692a686 pushed by YaelDillies
January 16, 2025 14:50 1h 17m 7s master
master
January 16, 2025 14:50 1h 17m 7s
ExtrProbCombi: Exclude diagonal edges from the Bernoulli random varia… Build Lean project #194: Commit f5104c0 pushed by YaelDillies
January 13, 2025 10:41 6m 21s master
master
January 13, 2025 10:41 6m 21s
ExtrProbCombi: Exclude diagonal edges from the Bernoulli random variables of a binomial random graph .github/workflows/push_pr.yml #26: Pull request #17 opened by YaelDillies
January 13, 2025 10:41 3m 23s binomial_random_graph_not_is_diag
binomial_random_graph_not_is_diag
January 13, 2025 10:41 3m 23s
ExtrProbCombi: Rename the Erdős–Rényi model to binomial random graphs Build Lean project #193: Commit 53a00cc pushed by YaelDillies
January 13, 2025 10:17 6m 17s master
master
January 13, 2025 10:17 6m 17s
ExtrProbCombi: Rename ExtrProbCombi.Basic to `ExtrProbCombi.ErdosRe… Build Lean project #192: Commit b49ab8f pushed by YaelDillies
January 13, 2025 10:05 6m 19s master
master
January 13, 2025 10:05 6m 19s