Skip to content

Use semantic_equal directly for AddrOf(Var) lockset elements in Symbo… #15564

Use semantic_equal directly for AddrOf(Var) lockset elements in Symbo…

Use semantic_equal directly for AddrOf(Var) lockset elements in Symbo… #15564

Triggered via push April 19, 2026 04:50
Status Failure
Total duration 14m 10s
Artifacts 2

locked.yml

on: push
Matrix: extraction
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

2 errors
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-latest
3 MB
sha256:7af71df4dcbb8d36e628fddb66756759241caea7d8a7d44fad6cb670ebffb8e6
suite_result-ubuntu-latest
3.08 MB
sha256:21b548226fb660480ba846c9fa1854a782ca88100c814542d13a9183e6778e56