ci: remove benchmark from ci #3

Merged
t.behrendt merged 1 commits from ci-remove-benchmark into main 2025-05-01 09:16:41 +02:00
Owner
No description provided.
t.behrendt added 1 commit 2025-04-30 21:13:52 +02:00
ci: remove benchmark from ci
All checks were successful
CI / test (push) Successful in 24s
5de23c3f93
t.behrendt scheduled this pull request to auto merge when all checks succeed 2025-04-30 21:13:57 +02:00
t.behrendt merged commit da973a094b into main 2025-05-01 09:16:41 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: t.behrendt/tracebasedlogsampler#3