Run history: record to the caller's own bucket, from a custom frontend or via the host platform #13864
Let a custom frontend record and read run history from a bucket
8a89e862
Collapse the history client API to one option and one method
034d8969
Record through the host platform when the caller delegated nothing
0147eb6d
Merge branch 'main' into history-client-api
162b520e
abidlabs
changed the title Let a custom frontend record and read run history from a bucket Run history: record to the caller's own bucket, from a custom frontend or via the host platform 6 days ago
Take the platform's credential instead of asking it to store the run
51cfa79e
Merge remote-tracking branch 'origin/history-client-api' into history…
6ba11564
Fix two type errors the backend typechecker caught
f87ede3c
Record the one deliberate difference between Server.launch and Blocks…
257c2536
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub