Skip to content

improve dgram sockets #627

improve dgram sockets

improve dgram sockets #627

Triggered via pull request February 15, 2026 11:17
Status Success
Total duration 28m 10s
Artifacts

build.yml

on: pull_request
Check Formatting
25s
Check Formatting
Build CLI on stable
1m 32s
Build CLI on stable
Clippy
53s
Clippy
Matrix: Build CLI
Matrix: Build
Matrix: External Test
Matrix: Integration Test
Matrix: Test on Linux
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

1 error
External Test (pulseaudio, tdx, development)
unable to access 'https://github.com/Freax13/mushroom/': Could not resolve host: github.com