Skip to content

Actions: daniel-levin/Minimathlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update lean version Lean Action CI #54: Commit 404ef0e pushed by daniel-levin
24s mainline
mainline
24s
Remove debug script Lean Action CI #53: Commit 155e34f pushed by daniel-levin
22s mainline
mainline
22s
Remove detritus Lean Action CI #52: Commit 74e6c74 pushed by daniel-levin
25s mainline
mainline
25s
Fix Lean skill issues. Lean Action CI #51: Commit 0f5a95e pushed by daniel-levin
17s mainline
mainline
17s
Add automation to Group. Lean Action CI #50: Commit 8cd362f pushed by daniel-levin
16s mainline
mainline
16s
Proof simplifications. Lean Action CI #49: Commit e09d32b pushed by daniel-levin
20s mainline
mainline
20s
Fix example in Group Lean Action CI #48: Commit e450945 pushed by daniel-levin
23s mainline
mainline
23s
more subtypes Lean Action CI #47: Commit 1f115b7 pushed by daniel-levin
17s mainline
mainline
17s
progress Lean Action CI #46: Commit 2c6dbe9 pushed by daniel-levin
18s mainline
mainline
18s
experimenting with subtypes and notation Lean Action CI #45: Commit cffb3c2 pushed by daniel-levin
19s mainline
mainline
19s
Lean automation Lean Action CI #44: Commit 7364fdd pushed by daniel-levin
18s mainline
mainline
18s
somehow, even more awkward! Lean Action CI #43: Commit c924acf pushed by daniel-levin
22s mainline
mainline
22s
question Lean Action CI #42: Commit 093caff pushed by daniel-levin
23s tci
tci
23s
questionable definitions Lean Action CI #41: Commit eafe1ff pushed by daniel-levin
17s mainline
mainline
17s
refined defns of nhds Lean Action CI #40: Commit 7ffdfd6 pushed by daniel-levin
28s mainline
mainline
28s
define nhds Lean Action CI #39: Commit 68e5c89 pushed by daniel-levin
25s mainline
mainline
25s
powers Lean Action CI #38: Commit 2068dee pushed by daniel-levin
19s mainline
mainline
19s
niceties to make group ops less unnatural Lean Action CI #37: Commit 0366891 pushed by daniel-levin
25s mainline
mainline
25s
golf. Lean Action CI #36: Commit 44e665c pushed by daniel-levin
30s mainline
mainline
30s
long-winded proof. Lean Action CI #35: Commit 6edf351 pushed by daniel-levin
19s mainline
mainline
19s
explore tactics Lean Action CI #34: Commit 66b0209 pushed by daniel-levin
19s mainline
mainline
19s
examples Lean Action CI #33: Commit b5b6ff3 pushed by daniel-levin
17s mainline
mainline
17s
Examples for Set Lean Action CI #32: Commit 58e4d40 pushed by daniel-levin
24s mainline
mainline
24s
neaten Topology.lean Lean Action CI #31: Commit ecf0b17 pushed by daniel-levin
24s mainline
mainline
24s
simpler proofs Lean Action CI #30: Commit bd6e0d4 pushed by daniel-levin
22s mainline
mainline
22s