Add --env and --clear-env launch flags

28a6d5a

Select commit

Loading

Failed to load commit list.

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

CI on: pull_request 22

Lint (Linux)

Build (macOS Apple Silicon)

clang-tidy (macOS Apple Silicon)

Enumerate proof targets

scan-build (macOS Apple Silicon)

Infer (macOS Apple Silicon)

Runtime (Release)

Runtime (ASAN)

Runtime (UBSAN)

Runtime (TSAN)

Proof and mutations (align)

Proof and mutations (cmsg)

Proof and mutations (dirent)

Proof and mutations (elf)

Proof and mutations (fdset)

Proof and mutations (fuse)

Proof and mutations (gva)

Proof and mutations (iov)

Proof and mutations (netlink)

Proof and mutations (netlinkwalk)

Proof and mutations (pathdepth)

Proof and mutations (rsp)

Proof and mutations (sigframe)

Proof and mutations (slice)

Proof and mutations (sockaddr)

Proof and mutations (stack)

Proof and mutations (timespec)

Frama-C WP proofs (make verify)

Mutation gate

cubic-dev-ai

cubic · AI code reviewer

Annotations

1 warning

Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2

Lint (Linux)

succeeded Aug 14, 2026 in 1m 25s

Loading