using Microsoft.EntityFrameworkCore;

namespace Server;

public class SpaceRaceDbContext : DbContext {
    public DbSet<Completion> Completions { get; set; }
    public SpaceRaceDbContext(DbContextOptions<SpaceRaceDbContext> options) : base(options) {}
}

public class Completion {
    public DateTimeOffset Date { get; set; }
    public Guid Id      { get; set; }
    public Guid UserId  { get; set; }
    public string Map   { get; set; }
    public double Time  { get; set; }
}