Skip to content
build

[InferHack] Add unit tests with DMKs false negatives involving map #4533

Sign in to view logs

[InferHack] Add unit tests with DMKs false negatives involving map

[InferHack] Add unit tests with DMKs false negatives involving map #4533

Triggered via push August 13, 2025 06:24
@facebook-github-botfacebook-github-bot
pushed 7e5278c
main
Status Failure
Total duration 1h 52m 1s
Artifacts –

install.yml

on: push
Create release
3s
Create release
Matrix: Build Infer
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 9 warnings, and 2 notices
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
Process completed with exit code 1.
Build Infer (macOS-13, ocaml-variants.5.2.1+options,ocaml-option-flambda)
Process completed with exit code 1.
Build Infer (ubuntu-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
Process completed with exit code 1.
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
jq 1.8.1 is already installed and up-to-date. To reinstall 1.8.1, run: brew reinstall jq
Build Infer (macOS-13, ocaml-variants.5.2.1+options,ocaml-option-flambda)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Infer (macOS-13, ocaml-variants.5.2.1+options,ocaml-option-flambda)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
Build Infer (macOS-13, ocaml-variants.5.2.1+options,ocaml-option-flambda)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
Build Infer (macOS-13, ocaml-variants.5.2.1+options,ocaml-option-flambda)
jq 1.8.1 is already installed and up-to-date. To reinstall 1.8.1, run: brew reinstall jq
Build Infer (ubuntu-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Build Infer (macOS-latest, ocaml-variants.5.2.1+options,ocaml-option-flambda)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520