Fix infinite search loop bug (#1016)

* Make sure the search loop in the editor cannot run infinitely * Add test coverage of infinite search case * Run GitHub actions against the patch branch
2022-03-16 22:34:29 +01:00
parent 7532fdb1fc
commit 1c7708babd
6 changed files with 30 additions and 9 deletions
@@ -4,9 +4,11 @@ on:
  push:
    branches: 
      - main
+      - patch
  pull_request:
    branches:
      - main
+      - patch

 jobs:
  testMac: