Contributing

Before opening PRs, please collaborate on a project space.

direnv

If any of the .cabal or relevant .nix files change, you must manually direnv reload, as we don’t use watch_file in .envrv for a reason (see comments).

CI

We dogfood Vira by not using GitHub Actions. Vira will “signoff” (see top-level vira.hs) on successful build, which will reflect in the commit status on GitHub. PRs should only be merged with green status on both platforms—aarch65-darwin and x86_64-linux.

PR workflow

• Open PR
• Run Vira on two platforms — macOS & Linux.
• Build your PR’s branch on both the Vira instances
• Confirm gh-signoff status success on GitHub UI.