CHB:ARM: limited support for rotate operand · static-analysis-engineering/codehawk@fa6dc35

Triggered via push August 12, 2025 07:10

sipma

master

Status Success

Total duration 6m 14s

Artifacts 5

dune.yaml

on: push

Matrix: Compile and test CodeHawk

Matrix: Run CodeHawk-Binary tests

Matrix: Run CodeHawk-C tests

Produced during runtime

Name	Size	Digest
artifacts-4.12.1 Expired	73 MB	`sha256:3548bf584884686062f240524099d0614c689785e0ccfe99fe483e3ecbadf2dd`
artifacts-4.13.1 Expired	74.5 MB	`sha256:4d37ed34c56e3ed926dfa7a6c84f865e6ad3b42fc6f9cb115d92e26ac4db046c`
artifacts-4.14.1 Expired	75.2 MB	`sha256:70b1d5d0f86cb7a1b1b92f9088789a39fa3c86b4741d1d115e2618699134f265`
artifacts-5.0.0 Expired	80.8 MB	`sha256:f520519a9933b9d387921b5d1323d4a8bf0adb70a43c9a829bc17e8469f8b9d0`
artifacts-5.1.1 Expired	81.8 MB	`sha256:17f0fe856c3c17a52ed19d803c610ea53b9c41610d6c96d56eee8c4837279209`