Update trieste again.

mjp41 · mjp41 · commit ca0c51c7cf93 · 2024-04-23T16:50:08.000+01:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -13,7 +13,7 @@ option(VERONA_GENERATE_LAUNCH_JSON "Generate a launch.json file for debugging in
 FetchContent_Declare(
   trieste
   GIT_REPOSITORY https://github.com/microsoft/trieste
-  GIT_TAG f63eda3dddedaf65def0f237b566fa7e239e6a1c
+  GIT_TAG b466068270471ccc9c5f5ddd543bd6e2fb02ad87
   GIT_SHALLOW FALSE
 )
 

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ option(VERONA_GENERATE_LAUNCH_JSON "Generate a launch.json file for debugging in`
`13`	`13`	`FetchContent_Declare(`
`14`	`14`	`trieste`
`15`	`15`	`GIT_REPOSITORY https://github.com/microsoft/trieste`
`16`		`- GIT_TAG f63eda3dddedaf65def0f237b566fa7e239e6a1c`
	`16`	`+ GIT_TAG b466068270471ccc9c5f5ddd543bd6e2fb02ad87`
`17`	`17`	`GIT_SHALLOW FALSE`
`18`	`18`	`)`
`19`	`19`