Skip to content

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

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

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

Triggered via push October 24, 2025 00:31
Status Success
Total duration 24m 14s
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