Skip to content

session server REFACTOR move server_opts to header #244

session server REFACTOR move server_opts to header

session server REFACTOR move server_opts to header #244

Triggered via push November 15, 2024 13:54
Status Success
Total duration 4m 31s
Artifacts

devel-push.yml

on: push
Get git branch
0s
Get git branch
Matrix: build
Fit to window
Zoom out
Zoom in