File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -34,9 +34,9 @@ type config = {
34
34
shouldn't be checked into version control. *)
35
35
type secrets = {
36
36
(* GitHub personal access token, if repo access requires it *)
37
- ?gh_token : string option ;
37
+ ?gh_token : string nullable ;
38
38
(* GitHub webhook token to secure the webhook *)
39
- ?gh_hook_token : string option ;
39
+ ?gh_hook_token : string nullable ;
40
40
(* Slack bot token obtained via OAuth, enabling message posting to the workspace *)
41
- ?slack_access_token : string option ;
41
+ ?slack_access_token : string nullable ;
42
42
}
Original file line number Diff line number Diff line change @@ -62,6 +62,6 @@ type post_message_req = {
62
62
63
63
type post_message_res = {
64
64
ok: bool;
65
- ?channel: string option ;
66
- ?error: string option ;
65
+ ?channel: string nullable ;
66
+ ?error: string nullable ;
67
67
}
You can’t perform that action at this time.
0 commit comments