Skip to content

Conversation

@NilsEb
Copy link
Collaborator

@NilsEb NilsEb commented Aug 6, 2025

The workflow build the fuzzer from the corresponding PR in the original nlohmann repository (if it exists). An example from a failed output is:

2025-08-05 13:44:55,368 - root - DEBUG - Stderr of command "git fetch origin refs/pull/29/merge" is: From https://github.com/nlohmann/json

When checking the hash below this line, the hash is only contained in the nlohmann repository but not in this repository.

- The cifuzz workflow checks out the corresponding PR in the original nlohmann repository (if it exists). There is no configuration to change this within the workflow.
@github-actions
Copy link

github-actions bot commented Aug 6, 2025

The created documentation from the pull request is available at: docu-html

@coveralls
Copy link

Coverage Status

coverage: 99.186%. remained the same
when pulling 985c966 on remove_cifuzz_workflow
into a4b3919 on main.

@NilsEb NilsEb marked this pull request as ready for review August 6, 2025 09:10
@NilsEb NilsEb merged commit 243a9d6 into main Aug 6, 2025
72 checks passed
@NilsEb NilsEb deleted the remove_cifuzz_workflow branch August 6, 2025 12:30
Erikhu1 pushed a commit that referenced this pull request Nov 14, 2025
- The cifuzz workflow checks out the corresponding PR in the original nlohmann repository (if it exists). There is no configuration to change this within the workflow.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants