Skip to content
Makefile CI

Standardize on using dune to build CodeHawk #160

Sign in to view logs

Standardize on using dune to build CodeHawk

Standardize on using dune to build CodeHawk #160

Triggered via pull request May 19, 2025 01:53
@brkbrk
synchronize #196
brk:standardize-on-dune
Status Success
Total duration 8m 23s
Artifacts 3

makefiles.yaml

on: pull_request
Matrix: Compile 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
12.5 MB
sha256:262333324afe54c04c02da123e805ab51588730116abd68f62254a2fdc779c3a
artifacts-4.13.1 Expired
12.8 MB
sha256:182954a0dc03c4fd5e3be5a7db7f86e29f59593ee48de4e647fcb02d37fd519c
artifacts-4.14.1 Expired
12.8 MB
sha256:24cd66ba127c510569d7fbd450cf15099ac4fba9346d3d8d2adf82411ae27c99