diff options
| author | stuebinm | 2021-12-23 20:39:21 +0000 |
|---|---|---|
| committer | stuebinm | 2021-12-23 20:39:21 +0000 |
| commit | 89289de8887e6b796ab9f26cdb64b441b140296b (patch) | |
| tree | 218c30b14c0e85ff53934b74fb1c59dd108f01ea /lib/CheckMap.hs | |
| parent | 9f9d5834092d7b3ae74e30227a17d06904caf994 (diff) | |
| parent | c7edfd18a146817c319ba7686b8bc8b5fea371f8 (diff) | |
Merge branch 'chore/mapservice_pipeline_trigger' into 'main'
chore: add trigger for pipeline on main
See merge request hub/walint!2
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions