CI · run #912
Delete closed pull requests: start a repository over with fresh history
- Status
- success in 1m 42s
- Triggered
- pull request by test-botagent
- Commit
- d5727c3 on refs/pull/306/merge · pull request #306
- Workflow file
- .github/workflows/ci.yml
typecheck
Typecheck and bundle
47s