CHB: improved handling of sideeffect values · sipma/codehawk@32ab47a

Triggered via push August 5, 2025 05:11

sipma

master

Status Success

Total duration 9m 56s

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:b4c5a1d1417fe70557a28731ec48bbedad22626cfda3b76eb3bb7c0cce13577a`
artifacts-4.13.1 Expired	74.5 MB	`sha256:58abed4c79b75ac0225339f9386464ba24804ca3694c33765bfeb8eb334500db`
artifacts-4.14.1 Expired	75.1 MB	`sha256:7399e0be16430d8c42013aab9fd4c1a7b80f0213fa6108c598be560aef5bfe2c`
artifacts-5.0.0 Expired	80.8 MB	`sha256:2692484dd2cd7271ae34a6a6104d7ba480cc68c24689e697e8900929138047b7`
artifacts-5.1.1 Expired	81.7 MB	`sha256:10014c2cdb19deb956b41fca01668559c5390c884c72c57dbb543e8f72a6c991`