Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

868 More tests of map-layer relation #919

Merged
merged 6 commits into from
Sep 13, 2023
Merged

868 More tests of map-layer relation #919

merged 6 commits into from
Sep 13, 2023

Conversation

jirik
Copy link
Member

@jirik jirik commented Sep 11, 2023

Part of issue #868

  • Tests
  • Layman Test Client (including docker image at docker hub)
  • Changelog
  • Documentation

@jirik jirik added this to the Release v1.22 milestone Sep 11, 2023
@jirik jirik changed the title 868 patch_after_wfst_change read map-layer relation from DB 868 patch_after_wfst_change reads map-layer relation from DB Sep 11, 2023
@jirik jirik marked this pull request as ready for review September 11, 2023 14:57
@jirik jirik enabled auto-merge (rebase) September 11, 2023 14:58
@jirik jirik requested a review from index-git September 11, 2023 15:40
@jirik jirik force-pushed the 868-patch-after-wfst branch from 26e515a to 126cd64 Compare September 12, 2023 10:27
@jirik jirik marked this pull request as draft September 12, 2023 11:21
auto-merge was automatically disabled September 12, 2023 11:21

Pull request was converted to draft

@jirik jirik changed the base branch from master to 868-patch-after-wfst2 September 12, 2023 11:24
@jirik jirik changed the title 868 patch_after_wfst_change reads map-layer relation from DB 868 More tests of map-layer relation Sep 12, 2023
@jirik jirik force-pushed the 868-patch-after-wfst branch from 126cd64 to b07e56e Compare September 12, 2023 11:26
Base automatically changed from 868-patch-after-wfst2 to master September 12, 2023 12:03
@jirik jirik changed the base branch from master to 868-gs-proxy September 12, 2023 12:08
@jirik jirik force-pushed the 868-patch-after-wfst branch from 2e24e68 to 3753d88 Compare September 12, 2023 18:34
@jirik jirik requested a review from index-git September 12, 2023 18:38
Base automatically changed from 868-gs-proxy to master September 12, 2023 19:07
@jirik jirik marked this pull request as ready for review September 12, 2023 19:22
@jirik jirik enabled auto-merge (rebase) September 12, 2023 19:22
@jirik jirik force-pushed the 868-patch-after-wfst branch from 3753d88 to 59acc78 Compare September 13, 2023 07:05
index-git
index-git previously approved these changes Sep 13, 2023
@jirik jirik force-pushed the 868-patch-after-wfst branch from fb13c0d to 8d973e1 Compare September 13, 2023 08:59
@jirik jirik merged commit fdc4b0f into master Sep 13, 2023
10 checks passed
@jirik jirik deleted the 868-patch-after-wfst branch September 13, 2023 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants