Skip to content
dune CI

CHB: improved handling of sideeffect values #179

Sign in to view logs

CHB: improved handling of sideeffect values

CHB: improved handling of sideeffect values #179

Triggered via push August 5, 2025 05:09
@sipmasipma
pushed 32ab47a
master
Status Success
Total duration 9m 1s
Artifacts 5

dune.yaml

on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
73 MB
sha256:13af1117e3b46bed16c1b1d1eceaf67d47d961dc29f0600fd423b0902d445c6b
artifacts-4.13.1 Expired
74.5 MB
sha256:308f34da037868ecf208989062c0eead2dc5019efdb6a0744fe8db3a4f2125aa
artifacts-4.14.1 Expired
75.1 MB
sha256:1cade309031fe1c9efffc184e0ea84f1ffc012db861429d55f9206fd2d6a8396
artifacts-5.0.0 Expired
80.8 MB
sha256:f9a5844655398985b1c955d2c9c62601b30e84e3bbd6e23564a4bbbfe30c09d1
artifacts-5.1.1 Expired
81.7 MB
sha256:2641f9b10599ee560e6c23d105dde1476c4dada975860829c1383f80ece3995b