doc: Add examples for ae.float primitives · OCamlPro/alt-ergo@28a1ad0

Triggered via pull request September 18, 2024 07:38

opened #1239

bclement-ocp:aefloat-ex

Status Success

Total duration 4m 47s

Artifacts 1

build_static.yml

on: pull_request

Matrix: Build statically linked macOS binaries

Produced during runtime

Name	Size
alt-ergo-x86_64-linux-musl	8.73 MB