fix workflow

Author: dsyme

.github/workflows/publish.yml

@@ -2,6 +2,9 @@ name: Build and Publish
 on:
   push:
     branches: [ main ]
+permissions:
+  id-token: write
+  contents: read
 jobs:
   build:
     runs-on: ubuntu-latest

docs/AsyncSeqExamples.fsx

@@ -208,16 +208,6 @@ let changes (key:Key, mi:ModifyIndex) : AsyncSeq<Value> =
 The function `changes` produces an async sequence which emits elements whenever the value corresponding to the key changes. Suppose also that we would like to trigger an operation
 whenever the key changes or based on a fixed interval. We can represent a fixed interval as an async sequence as follows:
 
-*)
-
-let intervalMs (periodMs:int) = asyncSeq {
-  yield DateTime.UtcNow
-  while true do
-    do! Async.Sleep periodMs
-    yield DateTime.UtcNow }
-
-(**
-
 Putting it all together:
 
 *)

docs/ComparisonWithObservable.fsx

@@ -42,6 +42,11 @@ be synchronous `'T -> bool`:
 
 open System
 
+// At the top of docs/ComparisonWithObservable.fsx
+type Tweet = { Id: int; Content: string }
+let filterTweet (tweet: Tweet) = async { return tweet.Content.Contains("keyword") }
+let storeTweet (tweet: Tweet) = printfn "Storing tweet %d" tweet.Id
+
 let tweetsObs : IObservable<Tweet> =
   failwith "TODO: create observable"
 
@@ -96,6 +101,9 @@ filtered tweets. Again, we can adapt the function `storeTweet` defined above to
 observable of filtered tweets to it:
 *)
 
+let storeTweet (tweet: Tweet) : Async<unit> =
+  failwith "TODO"
+
 let storedTweetsObs : IObservable<unit> =
   filteredTweetsObs'
   |> Observable.mapAsync storeTweet