Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
455 workflow runs
455 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 #409: Pull request #516 opened by JadAbouHawili
24m 57s JadAbouHawili:mention-disabled-definition
JadAbouHawili:mention-disabled-definition
24m 57s
Test the project Test #408: Commit 9516f2e pushed by TentativeConvert
25m 29s main
main
25m 29s
Test the project Test #407: Pull request #512 opened by TentativeConvert
26m 16s TentativeConvert-patch-1
TentativeConvert-patch-1
26m 16s
Test the project Test #406: Pull request #511 synchronize by virusbb001
8m 56s virusbb001:fix-client-i18n-config
virusbb001:fix-client-i18n-config
8m 56s
Test the project Test #405: Pull request #511 opened by virusbb001
25m 1s virusbb001:fix-client-i18n-config
virusbb001:fix-client-i18n-config
25m 1s
Test the project Test #404: Pull request #510 synchronize by JadAbouHawili
27m 53s JadAbouHawili:updating-game-docs
JadAbouHawili:updating-game-docs
27m 53s
Test the project Test #403: Pull request #510 opened by JadAbouHawili
9m 59s JadAbouHawili:updating-game-docs
JadAbouHawili:updating-game-docs
9m 59s
Test the project Test #402: Commit 0c785e7 pushed by joneugster
24m 38s main
main
24m 38s
Test the project Test #401: Pull request #509 opened by joneugster
25m 48s feat/inventory-refinements
feat/inventory-refinements
25m 48s
Test the project Test #400: Pull request #492 synchronize by joneugster
22m 56s feat/drop-old-infoview
feat/drop-old-infoview
22m 56s
Test the project Test #399: Commit bbf45a1 pushed by joneugster
25m 10s main
main
25m 10s
Test the project Test #398: Pull request #508 synchronize by joneugster
25m 12s feat/tiles-of-local-games
feat/tiles-of-local-games
25m 12s
Test the project Test #397: Pull request #508 synchronize by joneugster
3m 49s feat/tiles-of-local-games
feat/tiles-of-local-games
3m 49s
Test the project Test #396: Pull request #508 opened by joneugster
1m 25s feat/tiles-of-local-games
feat/tiles-of-local-games
1m 25s
Test the project Test #395: Pull request #492 synchronize by joneugster
24m 2s feat/drop-old-infoview
feat/drop-old-infoview
24m 2s
Test the project Test #394: Pull request #492 synchronize by joneugster
23m 11s feat/drop-old-infoview
feat/drop-old-infoview
23m 11s
Test the project Test #393: Pull request #492 synchronize by joneugster
4m 40s feat/drop-old-infoview
feat/drop-old-infoview
4m 40s
Test the project Test #392: Pull request #492 synchronize by joneugster
19m 35s feat/drop-old-infoview
feat/drop-old-infoview
19m 35s
Test the project Test #391: Commit 57673f5 pushed by joneugster
27m 20s main
main
27m 20s
Test the project Test #390: Pull request #503 synchronize by joneugster
31m 4s test/add-branch-hint-test
test/add-branch-hint-test
31m 4s
Test the project Test #389: Commit db0a5b2 pushed by joneugster
4m 4s main
main
4m 4s
Test the project Test #388: Commit 0a0570d pushed by joneugster
1m 9s main
main
1m 9s
Test the project Test #387: Pull request #507 synchronize by joneugster
26m 28s fix/hints-in-branch-2
fix/hints-in-branch-2
26m 28s
Test the project Test #386: Pull request #507 opened by joneugster
5m 24s fix/hints-in-branch-2
fix/hints-in-branch-2
5m 24s
Test the project Test #385: Commit 022563a pushed by TentativeConvert
25m 10s main
main
25m 10s