Merge branch 'sipma-summaries' · sipma/codehawk@358045f

Triggered via push February 4, 2025 08:11

sipma

master

Status Success

Total duration 9m 37s

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	72.7 MB	`sha256:4a59d938c70236538095667c0a23a86c6dc17b26cc6273246cabdf2462cce4ab`
artifacts-4.13.1 Expired	74.2 MB	`sha256:27de65c045145e8b23a316dcf98fbcfdd2e8e55d1cc290ad210a1890bc558662`
artifacts-4.14.1 Expired	74.9 MB	`sha256:7ef3b31e43d1d14ab88c6037ded2e13b062aba776ed4063c04b9e07ffe16c4ef`
artifacts-5.0.0 Expired	80.5 MB	`sha256:dd4695cee4ec735d108e3ad132c3e48e93fde855c745051c77fe241c3e687813`
artifacts-5.1.1 Expired	81.5 MB	`sha256:a412489fe8db84e530e6b2e412854b427b86f3350639fa9daf03dccc624c87d2`