Skip to content

Actions: mariainesdff/LocalClassFieldTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update SpectralNormUnique .github/workflows/blueprint.yml #224: Commit 9ebdafa pushed by mariainesdff
6s master
master
6s
update spectral norm files .github/workflows/blueprint.yml #223: Commit f6d8230 pushed by mariainesdff
8s master
master
8s
add genLTOne lemmas .github/workflows/blueprint.yml #222: Commit e856a6a pushed by mariainesdff
15s master
master
15s
reorganize file, add namespaces, update comments .github/workflows/blueprint.yml #221: Commit 442bf9d pushed by mariainesdff
15s master
master
15s
sorry-free .github/workflows/blueprint.yml #220: Commit eaffd69 pushed by mariainesdff
16s master
master
16s
WIP; done up to IsRankOneDiscrete.mk' .github/workflows/blueprint.yml #219: Commit 15818cd pushed by mariainesdff
20s master
master
20s
WIP on updating Uniformizer API .github/workflows/blueprint.yml #218: Commit a05a084 pushed by mariainesdff
9s master
master
9s
Merge branch 'master' of https://github.com/mariainesdff/LocalClassFi… .github/workflows/blueprint.yml #217: Commit 03c6ab0 pushed by mariainesdff
7s master
master
7s
updated comment .github/workflows/blueprint.yml #216: Commit 4433ab9 pushed by faenuccio
7s master
master
7s
fix SpectralNorm.lean .github/workflows/blueprint.yml #215: Commit fc8f8f8 pushed by mariainesdff
7s master
master
7s
split off thegrp .github/workflows/blueprint.yml #214: Commit 2ecac9f pushed by faenuccio
11s master
master
11s
adding something to 24435 .github/workflows/blueprint.yml #213: Commit d3f3ec6 pushed by faenuccio
10s master
master
10s
fixed DVR.complete .github/workflows/blueprint.yml #212: Commit 394e43c pushed by faenuccio
11s master
master
11s
advances .github/workflows/blueprint.yml #211: Commit d4cd451 pushed by faenuccio
9s master
master
9s
wip on complete .github/workflows/blueprint.yml #210: Commit 5a353dc pushed by faenuccio
11s master
master
11s
fixed DVR.Basic .github/workflows/blueprint.yml #209: Commit 8bca2ea pushed by faenuccio
10s master
master
10s
closed two more lemmas in Yakov .github/workflows/blueprint.yml #208: Commit a6dc965 pushed by faenuccio
8s master
master
8s
advancing but stuck .github/workflows/blueprint.yml #207: Commit ea69e25 pushed by faenuccio
8s master
master
8s
added file FromMathlib/DiscreteBasic .github/workflows/blueprint.yml #206: Commit 2cc8973 pushed by faenuccio
6s master
master
6s
fixed other lemmas .github/workflows/blueprint.yml #205: Commit 4cfbe87 pushed by faenuccio
7s master
master
7s
closed genLTOne_val_eq_genLTOne and advancing .github/workflows/blueprint.yml #204: Commit f738b61 pushed by faenuccio
7s master
master
7s
advancing on DVR.Basic .github/workflows/blueprint.yml #203: Commit 14c3dda pushed by faenuccio
7s master
master
7s
advances .github/workflows/blueprint.yml #202: Commit 6db3e11 pushed by faenuccio
8s master
master
8s
added DiscreteValuation file from Mathlib .github/workflows/blueprint.yml #201: Commit 1008d13 pushed by faenuccio
8s master
master
8s
continue fixing build .github/workflows/blueprint.yml #200: Commit 2819c9b pushed by mariainesdff
7s master
master
7s