Skip to content
Inbox Steward

feat(idris-dependents): read-only audit for external Idris2 dependents #1872

Sign in to view logs

feat(idris-dependents): read-only audit for external Idris2 dependents

feat(idris-dependents): read-only audit for external Idris2 dependents #1872

Triggered via pull request October 27, 2026 14:19
@coderabbitaicoderabbitai[bot]
submitted #628
Status Success
Total duration 20s
Artifacts –

inbox-steward.yml

on: pull_request_review
Identify PRs passed CICD
4s
Identify PRs passed CICD
Validate PRs against criteria
Validate PRs against criteria
Auto-merge qualifying PRs
0s
Auto-merge qualifying PRs
Dispatch lessons to Hypatia
7s
Dispatch lessons to Hypatia
Generate stewardship summary
2s
Generate stewardship summary
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 4 notices
Dispatch lessons to Hypatia
Failed to dispatch to Hypatia (missing token or network error)
Identify PRs passed CICD
Found 0 PRs ready for processing
Identify PRs passed CICD
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Generate stewardship summary
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Dispatch lessons to Hypatia
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"