Add Stdlib type equality to Set.Make, Map.Make and Hashtbl.Make #58
sim642Annotations
20 warnings
|
build-dune (macos-latest, 4.14.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (macos-latest, 4.14.x, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-macos-14.4.1-arm64-ocaml_base_compiler_4_14_2-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/1132/merge, Key: v1-setup-ocaml-opam-2.1.5-sandbox-macos-14.4.1-arm64-ocaml_base_compiler_4_14_2-2024-18, Version: 8ab48ccb24d8bcef6dc88a9a96247355284352878af90f8eae89478314a77ddb
|
|
build-dune (macos-latest, 5.0.0, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (macos-latest, 5.0.0, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-macos-14.4.1-arm64-ocaml_base_compiler_5_00_0-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/1132/merge, Key: v1-setup-ocaml-opam-2.1.5-sandbox-macos-14.4.1-arm64-ocaml_base_compiler_5_00_0-2024-18, Version: 8ab48ccb24d8bcef6dc88a9a96247355284352878af90f8eae89478314a77ddb
|
|
build-dune (ubuntu-latest, 4.08.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.10.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.02.3, false)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.02.3, false)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_02_3-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/1132/merge, Key: v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_02_3-2024-18, Version: 09f330b0ec8aa78b947ce280613013b412730e85bd1baf82429a4115a2a85c79
|
|
build-dune (ubuntu-latest, 4.09.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.14.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.13.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.11.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.12.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 5.1.0, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 5.0.0, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.06.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.06.x, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_06_1-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/1132/merge, Key: v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_06_1-2024-18, Version: 09f330b0ec8aa78b947ce280613013b412730e85bd1baf82429a4115a2a85c79
|
|
build-dune (ubuntu-latest, 4.07.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.05.x, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
build-dune (ubuntu-latest, 4.05.x, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_05_0-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/1132/merge, Key: v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_4_05_0-2024-18, Version: 09f330b0ec8aa78b947ce280613013b412730e85bd1baf82429a4115a2a85c79
|