| commit | 5e5c69ea59d5a2dbb077ca49d3ef861039c84d32 | |
| author | Johnny Willemsen <jwillemsen@remedy.nl> | |
| Wed, 11 Nov 2020 12:40:08 +0000 (11 13:40 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 11 Nov 2020 12:40:08 +0000 (11 13:40 +0100) | ||
| tree | 9a17b55c84a43b52ca0627369132992917ccc166 | treesnapshot (tar.gz zip) |
| parent | c47579beb7e0acc6ff89062e9cb7c5ba04eeea21 | commitdiff |
| parent | f9bbb3507ccea0270de71ccd126e4d50753d8239 | commitdiff |
Merge pull request #117 from jwillemsen/jwi-ciacetao
Reduce CI to ACE/TAO
Reduce CI to ACE/TAO