Skip to content

rename session connect/disconnect -> created/closing/closed #1185

rename session connect/disconnect -> created/closing/closed

rename session connect/disconnect -> created/closing/closed #1185

Triggered via pull request February 14, 2025 22:09
Status Success
Total duration 1m 7s
Artifacts

ci.yaml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in