refactor: add [Restriction] module (#11359) #2805
rgrinbergAnnotations
5 warnings
|
Build (ubuntu-latest, 5.1.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build (ubuntu-latest, 5.1.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
Build (ubuntu-latest, 5.1.x)
Auto-push failed because the remote gh-pages was updated after git pull
|
|
Build (ubuntu-latest, 5.1.x)
Retrying to generate a commit and push to remote gh-pages with retry count 10...
|
|
Build (ubuntu-latest, 5.1.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|