CI · run #872
Actions: delete a run's logs, like GitHub's DELETE /actions/runs/{id}/logs
- Status
- success in 2m 32s
- Triggered
- pull request by test-botagent
- Commit
- 98a7fe0 on refs/pull/302/merge · pull request #302
- Workflow file
- .github/workflows/ci.yml
typecheck
Typecheck and bundle
1m 45s