Skip to content

Actions: Lean-zh/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update zh docs Documentation #5: Commit 1045055 pushed by RexWzh
39s main
main
39s
Test the project Test #11: Commit 1045055 pushed by RexWzh
8m 41s main
main
8m 41s
Test the project Test #10: Commit 88186f7 pushed by RexWzh
8m 22s main
main
8m 22s
reorganize docs Documentation #4: Commit 88186f7 pushed by RexWzh
38s main
main
38s
Test the project Test #9: Commit 7d4c13c pushed by RexWzh
6m 44s rex/docker
rex/docker
6m 44s
Test the project Test #8: Commit 0e3f89d pushed by RexWzh
8m 23s main
main
8m 23s
Add Docs Documentation #3: Commit 0e3f89d pushed by RexWzh
37s main
main
37s
Rex/dev Documentation #2: Pull request #1 synchronize by RexWzh
24s rex/dev
rex/dev
24s
Test the project Test #7: Commit 280449a pushed by RexWzh
8m 20s rex/dev
rex/dev
8m 20s
Rex/dev Documentation #1: Pull request #1 opened by RexWzh
24s rex/dev
rex/dev
24s
Test the project Test #6: Commit 232fc8b pushed by RexWzh
7m 23s rex/dev
rex/dev
7m 23s
Test the project Test #5: Commit 1ce5c90 pushed by RexWzh
8m 27s rex/dev
rex/dev
8m 27s
Test the project Test #4: Commit 14f787d pushed by RexWzh
8m 34s rex/dev
rex/dev
8m 34s
Build and Test Build and Test #1: Commit 58d057b pushed by RexWzh
2m 1s dev
dev
2m 1s
Test the project Test #3: Commit 7d4c13c pushed by RexWzh
7m 56s main
main
7m 56s
Test the project Test #2: Commit 54f9d3c pushed by RexWzh
5m 32s main
main
5m 32s
Test the project Test #1: Commit d00c828 pushed by RexWzh
4m 27s main
main
4m 27s