Skip to content

ci: remove samply walltime profiler and pinned runner version#18

Merged
not-matthias merged 5 commits into
masterfrom
fix/remove-wip-commit
Jun 22, 2026
Merged

ci: remove samply walltime profiler and pinned runner version#18
not-matthias merged 5 commits into
masterfrom
fix/remove-wip-commit