Repository navigation

Ship nvx-rs in NVX releases - #598

Merged

Pedro Henrique Penna (ppenna) merged 8 commits into

devfrom

agents/fix-issue-359-release

Oct 19, 2026

Merged

Ship nvx-rs in NVX releases#598
Pedro Henrique Penna (ppenna) merged 8 commits into
devfrom
agents/fix-issue-359-release

Commits on Oct 19, 2026
- scripts: record the provenance of nvx-rs
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  ea06acf
- release: package nvx-rs with its provenance
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  89eff5f
- notices: cover the nvx-rs binary
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  92a699e
- ci: package releases on pull requests
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  90f1835
- release: install nvx-rs with nvx.py download
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  950b021
- adversarial: check the nvx-rs that the scenarios run
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  85b16e3
- nvx-rs: count a VM as running until its last thread exits
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  c931a3a
- adversarial: hand the scenarios the nvx-rs that the executor checked
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  fdeb959