sync dev w/ main#324

Merged

sebastianburckhardt merged 5 commits intodevfrom main

Oct 23, 2023

+217-70

Commits on Aug 31, 2023

Update GH automation (#303 )
bachuv
authored

Commits on Oct 10, 2023

initial commit (#290 )
bachuv
authored

Commits on Oct 11, 2023

Revert "initial commit (#290 )" (#314 )
sebastianburckhardt
authored

Commits on Oct 18, 2023

Bump Azure.Identity from 1.7.0 to 1.10.2 in /samples/TokenCredentialDTFx (#323 )
dependabot[bot]
authored

Commits on Oct 19, 2023

Terminate partition when FASTER refuses to checkpoint for over a minute (#301 )
davidmrdavid
authored