docs

Merge pull request #1755 from goblint/bot_env_handling_fix #3090

Job	Run time
api-build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)	4m 36s
api-deploy	16s
	4m 52s

Provide feedback