Skip to content

Convert WebSocket URLRequest to RFC8441 HTTPRequest #63

Convert WebSocket URLRequest to RFC8441 HTTPRequest

Convert WebSocket URLRequest to RFC8441 HTTPRequest #63

Triggered via pull request March 4, 2025 21:26
Status Success
Total duration 11m 52s
Artifacts

pull_request.yml

on: pull_request
Benchmarks  /  Construct Benchmarks matrix
2s
Benchmarks / Construct Benchmarks matrix
Cxx interop  /  Construct Cxx interop matrix
3s
Cxx interop / Construct Cxx interop matrix
Unit tests  /  Construct unit test matrix
2s
Unit tests / Construct unit test matrix
Soundness  /  API breakage check
47s
Soundness / API breakage check
Soundness  /  Documentation check
59s
Soundness / Documentation check
Soundness  /  Unacceptable language check
2s
Soundness / Unacceptable language check
Soundness  /  License headers check
2s
Soundness / License headers check
Soundness  /  Broken symlinks check
2s
Soundness / Broken symlinks check
Soundness  /  Format check
35s
Soundness / Format check
Soundness  /  Shell check
32s
Soundness / Shell check
Soundness  /  YAML lint check
3s
Soundness / YAML lint check
Soundness  /  Python lint check
4s
Soundness / Python lint check
Matrix: Benchmarks / Benchmarks / execute-matrix
Matrix: Cxx interop / Cxx interop / execute-matrix
Matrix: Unit tests / Unit tests / execute-matrix
Fit to window
Zoom out
Zoom in