feat(planet-mars): add CI configuration

Adds CI configuration that builds the Rust package, and exports the package back
to Github after submits to canon.

Change-Id: I2f8dcff2a614898c55115f44510543ff25d46b55
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12996
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: thk <thomas@koch.ro>
This commit is contained in:
Vincent Ambo 2025-01-13 11:59:14 +03:00 committed by clbot
parent 50f87e0ea0
commit d41e2bdd1c

17
default.nix Normal file
View File

@ -0,0 +1,17 @@
{ depot, pkgs, ... }:
pkgs.rustPlatform.buildRustPackage {
name = "planet-mars";
src = depot.third_party.gitignoreSource ./.;
cargoLock.lockFile = ./Cargo.lock;
nativeBuildInputs = [ pkgs.pkg-config ];
buildInputs = [ pkgs.openssl ];
# planet-mars is mirrored to Github.
passthru.meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush {
filter = ":/web/planet-mars";
remote = "git@github.com:thkoch2001/planet-mars.git";
ref = "refs/heads/master";
};
}