The process '/opt/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20

The operation was canceled.

The operation was canceled.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Failed to download action 'https://api.github.com/repos/ocaml/setup-ocaml/zipball/4c2d4ca30866014b7308f9bda3f0abc68acad13d'. Error: No such host is known. (api.github.com:443)