You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The GitHub workspace check no longer waits on deleted workspaces: services/github/pod-github/src/platform.ts removes deleted workspace workers from tracking and closes them without awaiting, catching any close error. It was checked against the current Platform-Collective develop code. If maintainers agree this covers the report, please consider closing.
@haiodo — based on the check described above, this looks resolved in the current code. Could you please close this issue if you agree? If you think it is not fixed yet, please describe what still goes wrong (steps, expected vs. actual behaviour), so it can be looked at again.
Activity
MichaelUray commentedon Oct 20, 2026
The GitHub workspace check no longer waits on deleted workspaces: services/github/pod-github/src/platform.ts removes deleted workspace workers from tracking and closes them without awaiting, catching any close error. It was checked against the current Platform-Collective develop code. If maintainers agree this covers the report, please consider closing.
MichaelUray commentedon Oct 20, 2026
@haiodo — based on the check described above, this looks resolved in the current code. Could you please close this issue if you agree? If you think it is not fixed yet, please describe what still goes wrong (steps, expected vs. actual behaviour), so it can be looked at again.