d-flex flex-column width-full">

Add `codehawk.opam` file

3251c8e

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Makefile CI on: pull_request 1

Compile CodeHawk (4.12.1)

Compile CodeHawk (4.13.1)

Compile CodeHawk (4.14.1)

Run CodeHawk-Binary tests (4.12.1)

Run CodeHawk-Binary tests (4.13.1)

Run CodeHawk-Binary tests (4.14.1)

Run CodeHawk-C tests (4.12.1)

Run CodeHawk-C tests (4.13.1)

Run CodeHawk-C tests (4.14.1)

dune CI on: pull_request

Compile and test CodeHawk (4.12.1)

Compile and test CodeHawk (4.13.1)

Compile and test CodeHawk (4.14.1)

Compile and test CodeHawk (5.0.0)

Compile and test CodeHawk (5.1.1)

Run CodeHawk-Binary tests (4.12.1)

Run CodeHawk-Binary tests (4.13.1)

Run CodeHawk-Binary tests (4.14.1)

Run CodeHawk-Binary tests (5.0.0)

Run CodeHawk-Binary tests (5.1.1)

Run CodeHawk-C tests (4.12.1)

Run CodeHawk-C tests (4.13.1)

Run CodeHawk-C tests (4.14.1)

Run CodeHawk-C tests (5.0.0)

Run CodeHawk-C tests (5.1.1)

Loading