Add echo endgroup to the set_up_cbmc_runner/action.yml file #198
executableMonitorTests.yml
on: push
Matrix: test-exe-monitor-failure-cases
Matrix: test-exe-monitor-success-cases
Annotations
16 errors