Skip to content

Actions: AbstractPlay/gameslib

Actions

Production Server CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

BentTri graph fixes
Production Server CI #1164: Commit 4935c69 pushed by Perlkonig
2m 43s main
dep_update_prod
Production Server CI #1163: Repository dispatch triggered by Perlkonig
2m 39s
Y: Remove experimental from variant
Production Server CI #1162: Commit e4cf05d pushed by Perlkonig
2m 55s main
Fix more graph bugs and correct the unit tests
Production Server CI #1161: Commit 091ea16 pushed by Perlkonig
2m 35s main
Fix BentTri graph coords2algebraic
Production Server CI #1160: Commit 5a58904 pushed by Perlkonig
2m 37s main
Y: Set bent as experimental
Production Server CI #1159: Commit 8431533 pushed by Perlkonig
2m 45s main
dep_update_prod
Production Server CI #1157: Repository dispatch triggered by Perlkonig
2m 48s
Update README.md
Production Server CI #1156: Commit 936433b pushed by Perlkonig
2m 41s main
Update all the graphs to use infinite labels
Production Server CI #1155: Commit 4fc929b pushed by Perlkonig
2m 40s main
Ugh. Forgot one
Production Server CI #1154: Commit 05bb8e0 pushed by Perlkonig
2m 48s main
Linter
Production Server CI #1153: Commit 402b791 pushed by Perlkonig
2m 35s main
StarGraph added
Production Server CI #1152: Commit ba761fc pushed by Perlkonig
2m 11s main
dep_update_prod
Production Server CI #1151: Repository dispatch triggered by Perlkonig
2m 36s
Lint
Production Server CI #1150: Commit ed22e42 pushed by Perlkonig
2m 32s main
Add bent-tri graph
Production Server CI #1149: Commit bc15f3c pushed by Perlkonig
2m 5s main
dep_update_prod
Production Server CI #1148: Repository dispatch triggered by Perlkonig
2m 38s
dep_update_prod
Production Server CI #1146: Repository dispatch triggered by Perlkonig
2m 32s
Merge pull request #390 from jpneto/develop
Production Server CI #1145: Commit 4df6107 pushed by Perlkonig
2m 37s main
Merge pull request #389 from jpneto/develop
Production Server CI #1144: Commit 2122a2e pushed by Perlkonig
2m 40s main
Missed Spora
Production Server CI #1143: Commit 39dff4c pushed by Perlkonig
2m 37s main
Merge branch 'develop'
Production Server CI #1142: Commit 4689996 pushed by Perlkonig
2m 54s main
Merge branch 'develop'
Production Server CI #1141: Commit 1103a86 pushed by Perlkonig
2m 43s main
Merge branch 'develop'
Production Server CI #1140: Commit 0eea5c0 pushed by Perlkonig
2m 35s main