Use pycrdt-websocket instead of ypy-websocket #172
Triggered via pull request
December 12, 2023 15:27
davidbrochart
davidbrochart
synchronize
#220
Status
Success
Total duration
41s
Artifacts
–
license-header.yml
on: pull_request_target
header-license-fix
33s