Files
SpacetimeDB/tools
Piotr Sarnacki 45ce5b4353 Merge docker images from multiple platforms (#640)
Because we build our docker images in more than one job, they are also
pushed as separate images. This commit adds a script that will merge the
images into a multiplatform manifest
2023-12-08 21:06:35 -06:00
..