Make the CI more robust w.r.t. the `test_comp_bisim` job#2024

Merged

mergify[bot] merged 4 commits intomasterfrom ci-robustness-tweaks

Feb 2, 2024

+34-6

Commits on Feb 1, 2024

Mergify: Require coverage test job to pass
RyanGlScott
committed

Commits on Feb 2, 2024