Merge branch 'dev' into bug/tactic-failure-placeholder

chore: Add `aarch64` build targets to flake
chore: Update version
2024-12-11 01:08:44 -08:00 · 2024-12-11 00:29:29 -08:00 · 2024-12-09 20:17:55 -08:00
2 changed files with 3 additions and 1 deletions
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@ -1,6 +1,6 @@
 namespace Pantograph

@[export pantograph_version]
-def version := "0.2.19"
+def version := "0.2.22"

 end Pantograph
--- a/flake.nix
+++ b/flake.nix
@ -22,6 +22,8 @@
    flake = {
    };
    systems = [
+      "aarch64-linux"
+      "aarch64-darwin"
      "x86_64-linux"
      "x86_64-darwin"
    ];
Author	SHA1	Message	Date
Leni Aniva	4217dbcf80	Merge branch 'dev' into bug/tactic-failure-placeholder	2024-12-11 01:08:44 -08:00
Leni Aniva	c96df2ed1c	chore: Add `aarch64` build targets to flake	2024-12-11 00:29:29 -08:00
Leni Aniva	e9cbc6eab3	chore: Update version	2024-12-09 20:17:55 -08:00