ICoravelProDbContext incorrectly has set on property

[khalidabuhakmeh]

I believe the interface for ICoravelProDbContext is too restrictive in its implementation. The following interface of ICoravelProDbContext should not contain a set for the property.

  public interface ICoravelProDbContext
  {
    DbSet<CoravelJobHistory> Coravel_JobHistory { get; set; }

    DbSet<CoravelScheduledJob> Coravel_ScheduledJobs { get; set; }

    DbSet<CoravelScheduledJobHistory> Coravel_ScheduledJobHistory { get; set; }
  }

A DbContext only requires a get method for any DbSet property. For example, the following is completely valid.

public class Database : DbContext, ICoravelProDbContext
{
    protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
        => optionsBuilder.UseSqlite("data source=app.db");
    
    // ReSharper disable once InconsistentNaming
    public DbSet<CoravelJobHistory> Coravel_JobHistory => Set<CoravelJobHistory>();
    // ReSharper disable once InconsistentNaming
    public DbSet<CoravelScheduledJob> Coravel_ScheduledJobs => Set<CoravelScheduledJob>();
    // ReSharper disable once InconsistentNaming
    public DbSet<CoravelScheduledJobHistory> Coravel_ScheduledJobHistory => Set<CoravelScheduledJobHistory>();
}

Yet, the inclusion of set forces users to implement a {get;set;}.