Merge branch 'michal/fix-abi-check-job-in-gitlab-ci' into 'main'

Fix ABI check job in GitLab CI

See merge request !3715
4 jobs for main in 3 minutes and 48 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Autoconf
passed autoreconf #962240
amd64 linux

00:00:43

 
  Build
passed abi-check #962241
amd64 linux

00:03:05

 
  Docs
passed docs #962242
amd64 linux

00:02:18

 
  Push
passed push:docs #962243
amd64 linux

00:00:34