Merge remote-tracking branch 'sae/master' · sipma/codehawk@ce3f85c

Triggered via push February 4, 2025 08:35

sipma

master

Status Success

Total duration 5m 35s

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:33455065c05d1a14426d2e3d725cb5c6a5f2688184ed5929832510b1162e24cf`
artifacts-4.13.1 Expired	74.2 MB	`sha256:a8c05da47dd4ef0e6e405a7f733701cf479a89b5c6db763622d9e0301abc35a6`
artifacts-4.14.1 Expired	74.9 MB	`sha256:181bb72d967d53f8e20029a0c0e81e56310a1932b7c582488024fba74e4e1819`
artifacts-5.0.0 Expired	80.5 MB	`sha256:ca12b997682ce230524524c4fa1d957abf3193548fe46a542d05fbd31e6fea41`
artifacts-5.1.1 Expired	81.5 MB	`sha256:2af672dbbeee5f46cd1aa305fecb33ed0e592d771c1f8fec5d07825178c1e9f2`