Skip to content

Commit

Permalink
Merge pull request #5559 from unisonweb/cp/flakiness-fix
Browse files Browse the repository at this point in the history
  • Loading branch information
aryairani authored Jan 30, 2025
2 parents 02e09da + 2b69dd7 commit 6da22c8
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 20 deletions.
1 change: 1 addition & 0 deletions unison-share-api/unison-share-api.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -183,6 +183,7 @@ test-suite unison-share-api-tests
TypeOperators
ViewPatterns
ImportQualifiedPost
QuasiQuotes
ghc-options: -Wall
build-depends:
base
Expand Down
20 changes: 0 additions & 20 deletions unison-src/transcripts/idempotent/fuzzy-options.md
Original file line number Diff line number Diff line change
Expand Up @@ -57,23 +57,3 @@ scratch/main> debug.fuzzy-options find-in _
Select a namespace:
* nested
```

Project Branch args

``` ucm
myproject/main> branch mybranch
Done. I've created the mybranch branch based off of main.
Tip: To merge your work back into the main branch, first
`switch /main` then `merge /mybranch`.
scratch/main> debug.fuzzy-options switch _
Select a project or branch to switch to:
* myproject/main
* myproject/mybranch
* scratch/empty
* myproject
* scratch
```

0 comments on commit 6da22c8

Please sign in to comment.