Use pycrdt-websocket instead of ypy-websocket #150
Triggered via pull request
December 8, 2023 15:40
davidbrochart
davidbrochart
synchronize
#220
Status
Success
Total duration
43s
Artifacts
–
license-header.yml
on: pull_request_target
header-license-fix
31s