Jo 8470e0424a Remove hotpath profiling (#991) ...

The profiling isn’t very useful right now - it’s way too sensitive to noise. What we really need is proper benchmarking that runs multiple times to filter out all that noise, like what you get with https://codspeed.io/ or https://bencher.dev/

2025-10-29 21:11:23 +08:00

..

ISSUE_TEMPLATE

Use issue form for bug report template (#862)

2025-10-10 16:27:28 +08:00

workflows

Remove hotpath profiling (#991)

2025-10-29 21:11:23 +08:00

codecov.yml

Add a codecov configuration (#816)

2025-09-29 12:02:01 +08:00

renovate.json5

Update renovate config (#849)

2025-10-07 21:16:43 +08:00

zizmor.yml

Hardening github actions (#947)

2025-10-21 14:17:22 +08:00