Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
431 workflow runs
431 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
Test the project Test #463: Commit a72f907 pushed by TentativeConvert
27m 25s main
main
27m 25s
Test the project Test #462: Pull request #551 opened by TentativeConvert
25m 11s fix/de-satz-theorem
fix/de-satz-theorem
25m 11s
Test the project Test #461: Commit 5c86548 pushed by TentativeConvert
25m 14s main
main
25m 14s
Test the project Test #460: Pull request #548 opened by danielzgtg
25m 1s danielzgtg:fix/isSuggestionsMobileMode
danielzgtg:fix/isSuggestionsMobileMode
25m 1s
Test the project Test #459: Pull request #547 opened by felipponn
25m 28s felipponn:main
felipponn:main
25m 28s
Test the project Test #458: Pull request #546 synchronize by micuele
8m 42s micuele:feat/issue-47-game-fallback
micuele:feat/issue-47-game-fallback
8m 42s
Test the project Test #457: Commit 7c1ece8 pushed by joneugster
26m 36s main
main
26m 36s
Test the project Test #456: Commit 1394acc pushed by joneugster
1m 12s main
main
1m 12s
Test the project Test #455: Commit f59f8c4 pushed by joneugster
1m 1s main
main
1m 1s
feat: add per-game translation fallback Test #454: Pull request #546 opened by micuele
Action required micuele:feat/issue-47-game-fallback
micuele:feat/issue-47-game-fallback
Action required
fix: translate Infoview descriptions Test #453: Pull request #545 opened by micuele
1d 22h 13m 1s micuele:fix/translate-infoview-description
micuele:fix/translate-infoview-description
1d 22h 13m 1s
Test the project Test #452: Commit d640e35 pushed by TentativeConvert
25m 3s main
main
25m 3s
Add Interslavic UI translation Test #451: Pull request #544 opened by TestSubjectJohnDoe
Action required TestSubjectJohnDoe:main
TestSubjectJohnDoe:main
Action required
Test the project Test #450: Pull request #541 synchronize by k88-b
26m 0s k88-b:ru-translation
k88-b:ru-translation
26m 0s
Add Russian UI translation Test #449: Pull request #541 reopened by joneugster
Action required k88-b:ru-translation
k88-b:ru-translation
Action required
Test the project Test #447: Pull request #492 synchronize by joneugster
23m 8s feat/drop-old-infoview
feat/drop-old-infoview
23m 8s
Add Russian UI translation Test #445: Pull request #541 opened by k88-b
Action required k88-b:ru-translation
k88-b:ru-translation
Action required
Test the project Test #444: Pull request #492 synchronize by joneugster
23m 3s feat/drop-old-infoview
feat/drop-old-infoview
23m 3s
Test the project Test #443: Pull request #492 synchronize by joneugster
23m 23s feat/drop-old-infoview
feat/drop-old-infoview
23m 23s
fix: support intentional empty game translations Test #442: Pull request #540 opened by micuele
16d 0h 12m 28s micuele:fix/issue-37-empty-translations
micuele:fix/issue-37-empty-translations
16d 0h 12m 28s
feat: LevelScope set the scope of the level Test #441: Pull request #539 opened by WenrongZou
Action required WenrongZou:test_browser
WenrongZou:test_browser
Action required
Test the project Test #440: Pull request #492 synchronize by joneugster
23m 5s feat/drop-old-infoview
feat/drop-old-infoview
23m 5s
Test the project Test #439: Commit 8f77cc0 pushed by joneugster
25m 12s main
main
25m 12s
Test the project Test #438: Pull request #537 opened by joneugster
24m 10s fix/ecosystem-file-ts
fix/ecosystem-file-ts
24m 10s
Test the project Test #434: Commit 5de9e84 pushed by joneugster
6m 20s main
main
6m 20s