Skip to content

Make the WebSocket timeouts configurable #1046

Make the WebSocket timeouts configurable

Make the WebSocket timeouts configurable #1046

Triggered via push November 13, 2024 16:28
Status Success
Total duration 17m 16s
Artifacts 2

ci.yml

on: push
Matrix: build_compiler_containers
Running integration tests
6m 3s
Running integration tests
Release artifacts
0s
Release artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
backend
77.9 MB
frontend
3.54 MB