Skip to content

#105 follow-up: the instrumented sources compile again; CI compiles them - #108

Merged
GonzRon merged 2 commits into
masterfrom
fix-105-connected-sources
Oct 5, 2026
Merged

#105 follow-up: the instrumented sources compile again; CI compiles them#108
GonzRon merged 2 commits into
masterfrom
fix-105-connected-sources

ci: compile the instrumented sources too

d22bfee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 5, 2026 in 1m 41s