Skip to content

[CI] Increasing fuzz time - #5174

Closed
Leo-Neat wants to merge 1 commit into
curl:masterfrom
Leo-Neat:master
Closed

[CI] Increasing fuzz time#5174
Leo-Neat wants to merge 1 commit into
curl:masterfrom
Leo-Neat:master

Conversation

@Leo-Neat

@Leo-Neat Leo-Neat commented Apr 2, 2020

Copy link
Copy Markdown
Contributor

This will allow more time for fuzzing. Other CI workflow takes ~ 2 hours so CIFuzz will still not be a bottleneck.

@bagder

bagder commented Apr 2, 2020

Copy link
Copy Markdown
Member

Thanks!

@bagder bagder closed this in 4506607 Apr 2, 2020
@curl curl locked and limited conversation to collaborators May 5, 2021
@curl curl deleted a comment May 5, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@bagder bagder bagder approved these changes

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Leo-Neat @bagder