27c0567 disable a uninteresting test.
disable a uninteresting test.
~shimon pushed to ~shimon/dismaltc git
f90da10 disable a uninteresting test.
53e138f update a readme.
update a readme.
1ed8169 oops, re-enabled more tests.
oops, re-enabled more tests.
461e061 re-enable tests.
re-enable tests.
bdaa828 disable uninteresting tests.
disable uninteresting tests.
7beab6a update a GitHub workflow.
update a GitHub workflow.
41bc91a update readme.
update readme.
c9bd8e9 fix a test.
fix a test.
New ticket tracker added
New mailing list added
New git repository added