| commit | 71ad2777c52aeb0842038881899499a49cb895f2 | [log] [tgz] |
|---|---|---|
| author | ebraminio <ebrahim@gnu.org> | Thu Dec 07 11:35:36 2017 +0330 |
| committer | GitHub <noreply@github.com> | Thu Dec 07 11:35:36 2017 +0330 |
| tree | 820a6b9db65a3b75c57b27f273ddffcf41c9144d | |
| parent | 5f061d27d5289c7608a6579dca668b1f5be7f4e8 [diff] |
[ci] Add an after distribution test runner (#648)