Unbreak CI after outdated merge (#6466)

This commit is contained in:
Hubert Plociniczak 2023-04-28 14:35:11 +02:00 committed by GitHub
parent 8cd28fc8bd
commit 0dc9f3742c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -180,7 +180,7 @@ spec =
Test.specify 'should not duplicate warnings' <| Test.specify 'should not duplicate warnings' <|
c = Database.connect (SQLite In_Memory) c = Database.connect (SQLite In_Memory)
t0 = Table.new [["X", ["a", "bc", "def"]]] t0 = Table.new [["X", ["a", "bc", "def"]]]
t1 = c.upload_table "Tabela" t0 t1 = t0.create_database_table c "Tabela"
t2 = t1.cast "X" (Value_Type.Char size=1) t2 = t1.cast "X" (Value_Type.Char size=1)
Warning.get_all t2 . length . should_equal 1 Warning.get_all t2 . length . should_equal 1