Skip to content

Merge branch 'main' into add-makefile-for-convenience #363

Merge branch 'main' into add-makefile-for-convenience

Merge branch 'main' into add-makefile-for-convenience #363

Triggered via push October 20, 2025 14:01
Status Success
Total duration 22m 22s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
TestHook interrupted while sleeping
build
TestHook interrupted while sleeping
build
TestHook interrupted while sleeping