5a0c0e20

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Use Set Text for settingFilterIds / flagFilterIds

Duplicate --filter-id values are meaningless, so store them in a Set.
Also simplifies applyFilterIds and makes execTestDefM' call runTestDefM
directly rather than going through execTestDefM.

Dependencies Timing

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://staging.nix-ci.com/gh:NorfairKing:sydtest/testid-for-mutatie/5a0c0e20a6ccbe0dde0f3c70734ce05bd0cc2d07/9f072326-207b-407a-8f48-9ee964360d7b

Wait for suite to complete:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/testid-for-mutatie/5a0c0e20a6ccbe0dde0f3c70734ce05bd0cc2d07/wait

For more instructions, fetch https://staging.nix-ci.com/instructions .