Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_master.yml
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

I am in Stockholm now Build Lean project #191: Commit dcc8acb pushed by YaelDillies
January 8, 2025 19:42 6m 38s master
master
January 8, 2025 19:42 6m 38s
Delete already upstreamed prerequisites Build Lean project #190: Commit fcbe817 pushed by YaelDillies
January 8, 2025 19:36 6m 20s master
master
January 8, 2025 19:36 6m 20s
GrowthInGroups: Golf the very small doubling characterisation Build Lean project #189: Commit b84167c pushed by YaelDillies
January 8, 2025 18:30 6m 20s master
master
January 8, 2025 18:30 6m 20s
PhD: Start on Haussler's packing lemma Build Lean project #188: Commit b1193e4 pushed by YaelDillies
January 6, 2025 14:13 6m 32s master
master
January 6, 2025 14:13 6m 32s
Switch to the new doc-gen setup Build Lean project #187: Commit bb09c3b pushed by YaelDillies
January 6, 2025 12:09 23m 32s master
master
January 6, 2025 12:09 23m 32s
Fix scope of copyright header snippet Build Lean project #186: Commit 7b5d9c7 pushed by YaelDillies
January 5, 2025 15:27 21m 32s master
master
January 5, 2025 15:27 21m 32s
GrowthInGroups: Drop degree_C_mul_le and `monic_unit_leadingCoeff_i… Build Lean project #185: Commit 6a6a670 pushed by YaelDillies
January 3, 2025 22:57 6m 56s master
master
January 3, 2025 22:57 6m 56s
Prove Set.mem_pow_iff_prod Build Lean project #184: Commit a53778b pushed by YaelDillies
January 3, 2025 16:03 6m 50s master
master
January 3, 2025 16:03 6m 50s
GrowthInGroups: Prove IsConstructible.induction_of_isTopologicalBasis Build Lean project #183: Commit 46a4818 pushed by YaelDillies
January 3, 2025 15:36 22m 29s master
master
January 3, 2025 15:36 22m 29s
Bump mathlib Build Lean project #182: Commit 09b3407 pushed by YaelDillies
January 3, 2025 15:32 24m 49s master
master
January 3, 2025 15:32 24m 49s
GrowthInGroups: replace `comap_C_eq_comap_localization_union_comap_qu… Build Lean project #181: Commit bbc3a29 pushed by YaelDillies
December 29, 2024 22:01 7m 4s master
master
December 29, 2024 22:01 7m 4s
Bump mathlib Build Lean project #180: Commit 30ad8bf pushed by YaelDillies
December 29, 2024 21:23 15m 37s master
master
December 29, 2024 21:23 15m 37s
Axioms for blackboxed, showcased and proved later theorems Build Lean project #179: Commit 11de551 pushed by YaelDillies
December 29, 2024 13:20 6m 33s master
master
December 29, 2024 13:20 6m 33s
Deduplicate the README Build Lean project #178: Commit 49b9e74 pushed by YaelDillies
December 29, 2024 13:07 20m 33s master
master
December 29, 2024 13:07 20m 33s
Bump mathlib Build Lean project #177: Commit 7e3de8a pushed by YaelDillies
December 29, 2024 12:58 22m 30s master
master
December 29, 2024 12:58 22m 30s
Bump mathlib Build Lean project #176: Commit ffcfdd1 pushed by YaelDillies
December 28, 2024 22:13 6m 39s master
master
December 28, 2024 22:13 6m 39s
Bump mathlib Build Lean project #175: Commit ee0cff5 pushed by YaelDillies
December 28, 2024 21:04 23m 15s master
master
December 28, 2024 21:04 23m 15s
Bump mathlib Build Lean project #174: Commit 83bdb8b pushed by YaelDillies
December 23, 2024 17:19 22m 19s master
master
December 23, 2024 17:19 22m 19s
GrowthInGroups: Progress on `exists_isApproximateSubgroup_of_small_do… Build Lean project #173: Commit 778fb4b pushed by YaelDillies
December 22, 2024 20:08 7m 1s master
master
December 22, 2024 20:08 7m 1s
Add lemma on product of approximate subgroups and matlib lemmas for it Build Lean project #172: Commit ae9ef55 pushed by YaelDillies
December 21, 2024 19:51 3m 55s master
master
December 21, 2024 19:51 3m 55s
Bump mathlib Build Lean project #171: Commit a4c182f pushed by YaelDillies
December 20, 2024 14:53 24m 21s master
master
December 20, 2024 14:53 24m 21s
Delete now-unused code Build Lean project #170: Commit fbfdecb pushed by YaelDillies
December 20, 2024 11:38 7m 6s master
master
December 20, 2024 11:38 7m 6s
Delete now-unused code Build Lean project #169: Commit bcd21e4 pushed by YaelDillies
December 20, 2024 10:57 21m 59s master
master
December 20, 2024 10:57 21m 59s
Bump mathlib Build Lean project #168: Commit f80d672 pushed by YaelDillies
December 20, 2024 10:51 23m 52s master
master
December 20, 2024 10:51 23m 52s
Build Lean project Build Lean project #167: by erdOne
December 19, 2024 18:02 8m 0s master
master
December 19, 2024 18:02 8m 0s