Commit Graph

13 Commits

Author SHA1 Message Date
Nikita Volkov
f2f747e6c6 Switch to ImportQualifiedPost 2024-04-19 07:38:30 +03:00
Nikita Volkov
e8c8eb126f Rename CI things 2023-10-16 15:48:03 +03:00
Nikita Volkov
48492f17f3 Rename workflows 2023-10-16 15:39:46 +03:00
Nikita Volkov
6c6f83cb63 Try a string literal 2023-10-16 04:42:54 +03:00
Nikita Volkov
89e11ff2fe Restrict base and update CI 2023-10-16 04:29:53 +03:00
Nikita Volkov
7ae600f3a5 Update the minimal GHC 2023-10-16 03:40:38 +03:00
Nikita Volkov
0d7c2aeedf Update CI 2023-10-16 03:32:11 +03:00
Nikita Volkov
d01e4a692c Fix the deps 2023-10-15 13:18:46 +03:00
Nikita Volkov
f7c362fd5e Move to test-with-postgres 2023-10-15 02:14:41 +03:00
Nikita Volkov
2e2665a8ba Update the workflow deps 2023-10-15 02:00:19 +03:00
Nikita Volkov
e0fc46cda8 Update CI 2023-10-14 14:55:02 +03:00
Nikita Volkov
676feb1ccc Update the workflow deps 2023-10-13 04:00:30 +03:00
Nikita Volkov
8c2aacc464 Move to Github Actions 2023-10-13 02:23:14 +03:00