Skip to content

chore[fuzz]: run for less time more often#7097

Merged
joseph-isaacs merged 1 commit intodevelopfrom
ji/more-fuzz
Mar 20, 2026
Merged

chore[fuzz]: run for less time more often#7097
joseph-isaacs merged 1 commit intodevelopfrom
ji/more-fuzz

Conversation

@joseph-isaacs
Copy link
Contributor

have fuzz run for 45 mins and cron every hour

This means that short running jobs get run more often

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
@joseph-isaacs joseph-isaacs enabled auto-merge (squash) March 20, 2026 17:27
@joseph-isaacs joseph-isaacs added the changelog/skip Do not list PR in the changelog label Mar 20, 2026
@joseph-isaacs joseph-isaacs merged commit 6895aa5 into develop Mar 20, 2026
54 of 57 checks passed
@joseph-isaacs joseph-isaacs deleted the ji/more-fuzz branch March 20, 2026 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/skip Do not list PR in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants