Skip to content

Actions: mariainesdff/LocalClassFieldTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 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 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