Skip to content

Actions: vihdzp/combinatorial-games

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat: surreal Hahn series from ordinal-indexed sequences Lean Action CI #3513: Pull request #316 synchronize by vihdzp
4m 31s termseq
termseq
4m 31s
feat: surreal Hahn series from ordinal-indexed sequences Pages CI #1369: Pull request #316 synchronize by vihdzp
27m 43s termseq
termseq
27m 43s
suggestions Lean Action CI #3512: Commit 8a6ed88 pushed by vihdzp
4m 11s termseq
termseq
4m 11s
feat: surreal Hahn series from ordinal-indexed sequences Lean Action CI #3511: Pull request #316 synchronize by vihdzp
4m 8s termseq
termseq
4m 8s
feat: surreal Hahn series from ordinal-indexed sequences Pages CI #1368: Pull request #316 synchronize by vihdzp
34m 55s termseq
termseq
34m 55s
fixes Lean Action CI #3510: Commit 126ee33 pushed by vihdzp
5m 6s termseq
termseq
5m 6s
feat: natural products and embeddings Lean Action CI #3509: Pull request #443 opened by vihdzp
4m 43s natotype2
natotype2
4m 43s
feat: natural products and embeddings Pages CI #1367: Pull request #443 opened by vihdzp
27m 31s natotype2
natotype2
27m 31s
product Lean Action CI #3508: Commit 4a2527a pushed by vihdzp
4m 28s natotype2
natotype2
4m 28s
feat: natural sums and embeddings Lean Action CI #3507: Pull request #442 synchronize by vihdzp
2m 25s natotype
natotype
2m 25s
feat: natural sums and embeddings Pages CI #1366: Pull request #442 synchronize by vihdzp
23m 17s natotype
natotype
23m 17s
golf Lean Action CI #3506: Commit 5d0579a pushed by vihdzp
2m 19s natotype
natotype
2m 19s
feat: natural sums and embeddings Pages CI #1365: Pull request #442 synchronize by vihdzp
35m 32s natotype
natotype
35m 32s
feat: natural sums and embeddings Lean Action CI #3505: Pull request #442 synchronize by vihdzp
2m 9s natotype
natotype
2m 9s
docstring Lean Action CI #3504: Commit 846d5c2 pushed by vihdzp
2m 5s natotype
natotype
2m 5s
feat: natural sums and embeddings Pages CI #1364: Pull request #442 synchronize by vihdzp
26m 44s natotype
natotype
26m 44s
feat: natural sums and embeddings Lean Action CI #3503: Pull request #442 synchronize by vihdzp
2m 17s natotype
natotype
2m 17s
existence Lean Action CI #3502: Commit c88262a pushed by vihdzp
2m 42s natotype
natotype
2m 42s
feat: natural sums and embeddings Pages CI #1363: Pull request #442 opened by vihdzp
35m 11s natotype
natotype
35m 11s
feat: natural sums and embeddings Lean Action CI #3501: Pull request #442 opened by vihdzp
3m 56s natotype
natotype
3m 56s
sum Lean Action CI #3500: Commit 17c8bae pushed by vihdzp
2m 13s natotype
natotype
2m 13s
feat: successor birthdays are numeric Pages CI #1362: Pull request #436 synchronize by plp127
37m 27s plp127:aliu/numeric_iff_birthday
plp127:aliu/numeric_iff_birthday
37m 27s
feat: successor birthdays are numeric Lean Action CI #3499: Pull request #436 synchronize by plp127
2m 31s plp127:aliu/numeric_iff_birthday
plp127:aliu/numeric_iff_birthday
2m 31s
feat: successor birthdays are numeric Lean Action CI #3498: Pull request #436 synchronize by plp127
2m 12s plp127:aliu/numeric_iff_birthday
plp127:aliu/numeric_iff_birthday
2m 12s
feat: successor birthdays are numeric Pages CI #1361: Pull request #436 synchronize by plp127
4m 21s plp127:aliu/numeric_iff_birthday
plp127:aliu/numeric_iff_birthday
4m 21s