Skip to content

examples: add basic Rust example with CI smoke tests - #36

Merged
dcalavrezo-qorix merged 2 commits into
mainfrom
dcalavrezo_examples_smoke
Jul 31, 2026
Merged

examples: add basic Rust example with CI smoke tests#36
dcalavrezo-qorix merged 2 commits into
mainfrom
dcalavrezo_examples_smoke

Conversation

@dcalavrezo-qorix

Copy link
Copy Markdown
Contributor

Adds a minimal example crate (library with a branchy function, unit test, binary) that demonstrates toolchain usage and smoke-tests the toolchains on every PR:

  • bazel build/test --config=smoke //examples/basic/... exercises the Ferrocene toolchain end to end, consumed via --extra_toolchains the same way downstream repositories do
  • bazel coverage additionally smoke-tests the LLVM coverage wiring (llvm_cov/llvm_profdata from the coverage-tools archive): CI asserts the produced LCOV contains executed lines of src/lib.rs, so regressions like a broken coverage-tools archive or missing toolchain attributes are caught before release

Fixes #21

Adds a minimal example crate (library with a branchy function, unit
test, binary) that demonstrates toolchain usage and smoke-tests the
toolchains on every PR:

- bazel build/test --config=smoke //examples/basic/... exercises the
  Ferrocene toolchain end to end, consumed via --extra_toolchains the
  same way downstream repositories do
- bazel coverage additionally smoke-tests the LLVM coverage wiring
  (llvm_cov/llvm_profdata from the coverage-tools archive): CI asserts
  the produced LCOV contains executed lines of src/lib.rs, so
  regressions like a broken coverage-tools archive or missing toolchain
  attributes are caught before release

Fixes #21
@dcalavrezo-qorix
dcalavrezo-qorix merged commit 3188d7e into main Jul 31, 2026
6 checks passed
@dcalavrezo-qorix
dcalavrezo-qorix deleted the dcalavrezo_examples_smoke branch July 31, 2026 07:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add examples for smoke testing and demonstration

2 participants