~shimon/dismaltc

disable a uninteresting test.
disable a uninteresting test.
oops, re-enabled more tests.
disable uninteresting tests.
update a GitHub workflow.
disable uninteresting tests.
disable uninteresting tests.
disable uninteresting tests.
remove unnecessary code.
remove unnecessary code.
Next