diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-01-01 11:22:48 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-01-01 15:11:20 -0800 |
commit | 30b123bd44102fbc062c3a8423249caea97794c2 (patch) | |
tree | cc44282e22783f6c14078b0baf104ffd1ced1c6a /tests | |
parent | 5584574062eafdd99deca63689b30a5fa977e999 (diff) | |
download | subsurface-30b123bd44102fbc062c3a8423249caea97794c2.tar.gz |
GitHub Actions: execute the Ubuntu 19.10 steps in yaml
This way we can also easily name them as we did for the other two tested
platforms.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions