d-flex flex-column width-full">

feat(fstar): wire extracted modules into OCaml wrappers

9c8c693

Select commit

Loading

Failed to load commit list.

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

CI on: push 31

Dhall type-check + validate

F* verification

Futhark type-check

Go vet

OCaml build

Policy compile

F* → OCaml extraction

Futhark compile

Gateway build

Unit tests (OCaml)

MCP integration tests

Futhark kernel tests

Gateway tests

Nix package builds

OCI container build

CI on: pull_request 39