Skip to content

Actions: ajdobner/SymmetricFun

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
Reworked definitions. Updated plan. Lean Action CI #8: Commit 98938de pushed by ajdobner
9m 53s main
main
9m 53s
Reworked definitions Lean Action CI #7: Commit 673d207 pushed by ajdobner
8m 4s main
main
8m 4s
Define esymm, hsymm, and more Lean Action CI #6: Commit 7240a87 pushed by ajdobner
8m 51s main
main
8m 51s
Implemented monomial symmetric functions Lean Action CI #5: Commit e14b196 pushed by ajdobner
9m 2s main
main
9m 2s
Implement symmetric group action on MvPowerSeries Lean Action CI #4: Commit 4a18596 pushed by ajdobner
9m 37s main
main
9m 37s
Added definitions and goals Lean Action CI #3: Commit 19c002d pushed by ajdobner
10m 17s main
main
10m 17s
Implemented some definitions Lean Action CI #2: Commit 07cc597 pushed by ajdobner
15m 23s main
main
15m 23s
Initial commit Lean Action CI #1: Commit a53cea1 pushed by ajdobner
13m 54s main
main
13m 54s
Initial commit Create Release #1: Commit a53cea1 pushed by ajdobner
8s main
main
8s