Skip to content
CI PRs

Handle closed terminal gracefully on shell exit #251

Sign in to view logs

Handle closed terminal gracefully on shell exit

Handle closed terminal gracefully on shell exit #251

Triggered via pull request June 27, 2026 07:00
@czpilarczpilar
opened #1364
czpilar:patches/1363-terminal-closed
Status Success
Total duration 1m 20s
Artifacts –

ci-pr.yml

on: pull_request
PR Build
1m 16s
PR Build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
PR Build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.2.2, actions/setup-java@v4.7.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/