Skip to content

Conversation

@juliankuners
Copy link
Contributor

This pull request adds a new test that builds komet with nix and runs a small test, akin to the nix smoke test in kontrol.

In particular, it adds a small komet project at package/test-project than can be tested with package/test-package.sh. It builds the nix derivation komet.rust-soroban that provides rust and soroban out-of-the-box. The test runs komet prove run --id 'test_true' in the test project.

@juliankuners
Copy link
Contributor Author

This will be kept as draft until #84 is merged.

@juliankuners juliankuners marked this pull request as ready for review May 30, 2025 16:41
@juliankuners
Copy link
Contributor Author

Force pushed a rebase with the master branch.

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 69b0b9d into master May 30, 2025
6 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the nix-smoke-test-CI branch May 30, 2025 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants