builder-web/bin/migrations
Reynir Björnsson da2aa77b53 M20220509 changes
* Do not depend on the uuid representation in Builder_db.Rep; instead
  copy the custom caqti type so the migration doesn't break if
  Builder_db.Rep changes
* We don't need to recreate any indices since we don't change the
  schema: The uuid column was erroneously VARCHAR(36) before as well(!)
2022-05-17 12:14:39 +02:00
..
builder_migrations.ml
dune
grej.ml
m20210126.ml
m20210202.ml
m20210216.ml
m20210218.ml
m20210308.ml
m20210427.ml
m20210531.ml
m20210602.ml
m20210608.ml
m20210609.ml
m20210625.ml
m20210629.ml
m20210630.ml
m20210701.ml
m20210706.ml
m20210707a.ml
m20210707b.ml
m20210707c.ml
m20210707d.ml
m20210712a.ml
m20210712b.ml
m20210712c.ml
m20210910.ml
m20211105.ml
m20220509.ml M20220509 changes 2022-05-17 12:14:39 +02:00