You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: 20220909153412_drop_week_days.rb
    path of file: ./repos/openproject/db/migrate
    
    the code of the file until where you have to start completion: #-- copyright
# OpenProject is an open source project management software.
# Copyright (C) 2012-2024 the OpenProject GmbH
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License version 3.
#
# OpenProjec
    
  def down
    create_table :week_days do |t|
      t.integer :day, null: false
      t.boolean :working, null: false, default: true

      t.timestamps
    end

    execute <<-SQL.squish
        ALTER TABLE week_days
          ADD CONSTRAINT unique_day_number UNIQUE (day);
        ALTER TABLE week_days
          ADD CHECK (day >= 1 AND day <=7);
    SQL
  end