Commit graph

5 commits

Author SHA1 Message Date
danyaberezun
3a5a85a87e fixci 2023-05-31 11:39:09 +02:00
Dmitry Boulytchev
f0eec7aaf5 Transition to GT 0.5.0 2022-04-14 17:35:18 +03:00
Kakadu
20ab1a27fa Fix constraint on GT's version
Signed-off-by: Kakadu <Kakadu@pm.me>
2022-02-14 20:24:28 +03:00
Kakadu
827e07522a Added initial CI workflow
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-13 01:34:31 +03:00
Kakadu
eaa03785ed Update README and opam files
Signed-off-by: Kakadu <Kakadu@pm.me>
2021-02-12 22:27:52 +03:00