Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce coverage worker #96

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Introduce coverage worker #96

wants to merge 6 commits into from

Commits on Jun 20, 2024

  1. Introduce coverage worker

    @R9295
    R9295 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    27d56b1 View commit details
    Browse the repository at this point in the history

  2. add comms channel for coverage worker

    @R9295
    R9295 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    f9d508d View commit details
    Browse the repository at this point in the history

  3. fmt

    @R9295
    R9295 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d34df09 View commit details
    Browse the repository at this point in the history

  4. create ctrl-c channel only if fuzzin

    @R9295
    R9295 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    0ec6442 View commit details
    Browse the repository at this point in the history

  5. make sure we do not run any entries created after we started iteratin… 

    …g on the queue
    @R9295
    R9295 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d0d12e5 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge remote-tracking branch 'origin/main' into feature/cov-worker

    @louismerlin
    louismerlin committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    15fbb64 View commit details
    Browse the repository at this point in the history