CHJ:jchstac: fix warnings and reformat · static-analysis-engineering/codehawk@ecca7fe

Triggered via push February 19, 2025 08:51

sipma

master

Status Success

Total duration 5m 26s

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:8c7ea3abff03464b78019e5943db4d6e33d462f1cc8ae33f5d2a7a0c8b35565a`
artifacts-4.13.1 Expired	74.2 MB	`sha256:92596e9c4c9eade7d7099ebbeb93233ba13fb000edb6e8da44ff9430ab1a7e5f`
artifacts-4.14.1 Expired	74.9 MB	`sha256:6527f043c6d8a75e8d775ae6ef870b6f45e96df9a9115a83ce6a3a46a4d93b9b`
artifacts-5.0.0 Expired	80.5 MB	`sha256:c7f9ed8c655c99347016af67538ccf6ab4b80a63f6085b11004882825168302c`
artifacts-5.1.1 Expired	81.5 MB	`sha256:c3763b757b96e5e4265d3294d6addd0ab1997604339c3bbb6001bf464cde61f5`