docs

Merge pull request #1957 from goblint/dependabot/github_actions/docke… #4611

Job	Run time
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	4m 38s
api-deploy	8s
	4m 46s

Provide feedback