chore: allow to benchmark against main#93

Merged

triceo merged 17 commits intomainfrom

Nov 8, 2025

Commits on Nov 8, 2025

chore: allow to benchmark against main
triceo
authored
Attempt
triceo
committed
Fix 1
triceo
committed
Testing defaults
triceo
committed
Fix 2
triceo
committed
Fix 3
triceo
committed
Fix 4
triceo
committed
Fix 5
triceo
committed
Fix 6
triceo
committed
Fix 7
triceo
committed
Fix 9
triceo
committed
Finishing touches
triceo
committed
More
triceo
committed
More
triceo
committed
More
triceo
committed
Final
triceo
committed
Potential fix for code scanning alert no. 14: Workflow does not contain permissions

triceo
and
github-advanced-security[bot]
authored