Skip to content

v0.1.1 — Rush00 & CI hardening

Choose a tag to compare

@qlrd qlrd released this 10 Mar 01:00
· 8 commits to main since this release

🐯 Dawon v0.1.1

She does not move until the tests run.


✨ What's new

🏃 Rush00 support

Use --rush to evaluate Rush00 submissions:

dawon check --path /path/to/Rush00 --rush
dawon friend --login aguiar --rush

Static checks run (norminette, forbidden functions, compiler,
valgrind). Symbol and harness steps are skipped until
commitment vectors are defined for Rush00.

🖥️ CI hardening

Runner Toolchain
ubuntu-latest stable
macos-latest stable
debian-stable (container) stable
debian-stable (container) 1.85 (MSRV)

rust-version = "1.85" is now declared in Cargo.toml.


📝 Docs

  • @copilot feedback loop — every review comment on a
    Copilot PR must address @copilot directly
  • Lore in commits — lore type accepted; subject line
    stays purely semantic, lore goes in the body
  • PR number traceability — append (#N) to subjects or
    Refs #N in the body footer once the PR number is known

🔗 Full diff

v0.1.0...v0.1.1