WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
CI

Reconnect WebSockets when configuration settings change (#705) #1697

Sign in to view logs

Reconnect WebSockets when configuration settings change (#705)

Reconnect WebSockets when configuration settings change (#705) #1697

Triggered via push December 31, 2025 09:24
@EhabYEhabY
pushed dde77f3
main
Status Success
Total duration 2m 50s
Artifacts 1

ci.yaml

on: push
Lint
1m 8s
Lint
Test
1m 17s
Test
Package
1m 22s
Package
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
extension-main-dde77f36f36d174ab0dbf632404e5eb230f8f498
884 KB
sha256:d23094c77cd8fcb54393a849f3f682e0259f49fdb244a91cef7b9fe55c62891a