diff options
| author |  Anton Lundin <glance@acc.umu.se> | 2019-10-30 15:28:05 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-11-28 11:12:59 -0800 |
| commit | 6612297022d63c38f674cfe5378a9db250b8ef6f (patch) | |
| tree | aba08088c3ce2b6daa9deb944d0ac759fd2d542c /desktop-widgets/renumber.ui | |
| parent | 2048c7f73dbb0874c1e0fbf8816e1fbce8421ffc (diff) | |
| download | subsurface-6612297022d63c38f674cfe5378a9db250b8ef6f.tar.gz | |
GitHub Actions: let CI build docker images
This create a GitHub Actions workflow to build the docker images we use in our
CI workflows.
Signed-off-by: Anton Lundin <glance@acc.umu.se>
Diffstat (limited to 'desktop-widgets/renumber.ui')
0 files changed, 0 insertions, 0 deletions