From 5cdede844fc241b6130b37a400619b3cc98d999c Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Mon, 13 Jan 2025 11:59:14 +0300
Subject: [PATCH] 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>
---
 web/planet-mars/default.nix | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 web/planet-mars/default.nix

diff --git a/web/planet-mars/default.nix b/web/planet-mars/default.nix
new file mode 100644
index 000000000..c1009ef0b
--- /dev/null
+++ b/web/planet-mars/default.nix
@@ -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";
+  };
+}