tree 3dd6d48cd6f1e7251566b9902400bf941e671627
parent 443412debc0bc0cf833cdedf7fa296680ce6537a
author Jiayu Liu <Jimexist@users.noreply.github.com> 1663981170 +0800
committer GitHub <noreply@github.com> 1663981170 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJjLlZyCRBK7hj4Ov3rIwAA9WkIAIMzJ0aCIs35p3maXVlOnJ4W
 FJDMKrOkUzAHJ4dOrQMRQNd5dJBld4Bn1t60PDapRwPCrnWzYyB1/R2+XGN4McAR
 jR9oA0RvpfyAH3jzcW2g4RSMV42yP7ZOYxYJq4whAuETNLg91M8OvFRC1ceKQ77a
 EMwiwntk2tPvelLgVMGZHTE9kXQyOIKnRa0c5jY+zsJwRywqgQvFgGyEPtFyApJw
 y8kYsbKawUujWreozrquzmwSHGOub+8siQKBLqhI2K3HFHeAHaQ5rT3NWOy3imZW
 43EUcZyAP227OAMw/74aa7anyysB+yX18zayEkZQ3bYL71fvYlvoqBAzBBH03gM=
 =6AUR
 -----END PGP SIGNATURE-----
 

[build infra][ocaml] disable opam sandboxing for ubuntu bionic and focal (#2671)

* disable opam sandboxing for ubuntu focal

* update bionic as well