Evgeny Poberezkin d7f8bff957 Merge branch 'stable'

2024-04-15 11:16:33 +01:00

..

build.yml

scripts: ghc version update (#4010)

2024-04-14 16:42:04 +01:00

cla.yml

github: fix cla action (#4030)

2024-04-15 10:51:24 +01:00

web.yml

ci: make docs update rebuild website

2023-10-01 20:46:30 +01:00