Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
448 workflow runs
448 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: 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
Test the project Test #433: Pull request #535 opened by joneugster
9m 26s joneugster-patch-1
joneugster-patch-1
9m 26s
Test the project Test #432: Commit 3242978 pushed by joneugster
7m 19s main
main
7m 19s
Test the project Test #431: Pull request #534 opened by joneugster
5m 26s chore/bump-v4.31.0
chore/bump-v4.31.0
5m 26s
Test the project Test #430: Pull request #511 synchronize by virusbb001
7m 22s virusbb001:fix-client-i18n-config
virusbb001:fix-client-i18n-config
7m 22s
Test the project Test #429: Pull request #511 synchronize by virusbb001
2m 45s virusbb001:fix-client-i18n-config
virusbb001:fix-client-i18n-config
2m 45s
Test the project Test #428: Commit 979a638 pushed by TentativeConvert
8m 40s main
main
8m 40s
Test the project Test #427: Pull request #531 opened by TentativeConvert
8m 1s TentativeConvert-patch-1
TentativeConvert-patch-1
8m 1s
Test the project Test #426: Commit 42929e6 pushed by TentativeConvert
3m 35s main
main
3m 35s
Test the project Test #425: Pull request #530 opened by TentativeConvert
8m 51s TentativeConvert-patch-1
TentativeConvert-patch-1
8m 51s
Test the project Test #424: Commit 35ac3e5 pushed by TentativeConvert
3m 48s main
main
3m 48s
Test the project Test #423: Pull request #529 opened by TentativeConvert
9m 9s TentativeConvert-patch-1
TentativeConvert-patch-1
9m 9s
Test the project Test #422: Commit 66adb8d pushed by TentativeConvert
4m 57s main
main
4m 57s
Test the project Test #421: Pull request #528 opened by TentativeConvert
9m 41s TentativeConvert-patch-1
TentativeConvert-patch-1
9m 41s
Test the project Test #420: Commit 4bf761d pushed by TentativeConvert
7m 58s main
main
7m 58s
Test the project Test #419: Pull request #527 opened by TentativeConvert
6m 55s TentativeConvert-patch-1
TentativeConvert-patch-1
6m 55s
Test the project Test #418: Commit af05390 pushed by TentativeConvert
3m 16s main
main
3m 16s
Test the project Test #417: Pull request #526 opened by TentativeConvert
8m 24s TentativeConvert-patch-1
TentativeConvert-patch-1
8m 24s
Test the project Test #416: Commit ea2a115 pushed by TentativeConvert
9m 23s main
main
9m 23s
Test the project Test #415: Pull request #525 synchronize by TentativeConvert
7m 3s TentativeConvert-issue-template
TentativeConvert-issue-template
7m 3s
Test the project Test #414: Pull request #525 opened by TentativeConvert
7m 46s TentativeConvert-issue-template
TentativeConvert-issue-template
7m 46s