CI · run #1075
Numeric ids for runs, jobs and workflows, so gh run and gh workflow work
- Status
- success in 1m 52s
- Triggered
- pull request by test-botagent
- Commit
- fb3fb91 on refs/pull/325/merge · pull request #325
- Workflow file
- .github/workflows/ci.yml
typecheck
Typecheck and bundle
57s