Commit Graph

18 Commits

Author SHA1 Message Date
Nikita Volkov
dde6c3953f Update the actions 2024-04-28 15:50:51 +03:00
Nikita Volkov
6c6c71930f Update actions 2024-04-28 15:42:06 +03:00
Nikita Volkov
e0326c6803 Update the workflows 2024-04-22 20:24:18 +03:00
Nikita Volkov
c7d76a6f97 Add changelog check 2024-04-22 20:18:35 +03:00
Nikita Volkov
cbea968ac4 Update the actions 2024-04-20 13:22:26 +03:00
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