[backend/database] PushSubscription.Types should be a property, not a field

This fixes creating migrations failing with an extremely unhelpful error message when using .NET 9.0.
This commit is contained in:
Laura Hausmann 2024-09-28 02:09:11 +02:00
parent 4cfd4de389
commit df4eea5c0e
No known key found for this signature in database
GPG key ID: D044E84C5BE01605

View file

@ -20,7 +20,7 @@ public class PushSubscription
}
[Column("types", TypeName = "character varying(32)[]")]
public List<string> Types = null!;
public List<string> Types { get; set; } = null!;
[Key]
[Column("id")]