Skip to content

Merge remote-tracking branch 'upstream/master' into merge231 #4933

Merge remote-tracking branch 'upstream/master' into merge231

Merge remote-tracking branch 'upstream/master' into merge231 #4933

Triggered via push January 30, 2025 00:17
Status Success
Total duration 26m 32s
Artifacts 5

nix.yml

on: push
Matrix: dependencies
Matrix: coverage
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage.xml
408 KB
linux-clang-Debug
185 KB
linux-clang-Release
185 KB
linux-gcc-Debug
185 KB
linux-gcc-Release
185 KB