Build and Test · Workflow runs · Lean-zh/lean4game · GitHub

Actions

All workflows
Workflows
- Build and Test Build and Test
- Documentation Documentation
- Test Test
Management
- Caches
- Deployments

Build and Test

Actions

Loading...
Loading

1 workflow run

1 workflow run

Build and Test Build and Test #1: Commit 58d057b pushed by RexWzh

2m 1s dev

dev

2m 1s