CI · run #1080
Merged pull requests keep their commits and files; compare takes main~1
- Status
- success in 1m 42s
- Triggered
- pull request by test-botagent
- Commit
- 569473b on refs/pull/326/merge · pull request #326
- Workflow file
- .github/workflows/ci.yml
typecheck
Typecheck and bundle
1m 34s