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

2024-12-11 01:08:44 -08:00 · 2024-12-11 01:08:44 -08:00 · 4217dbcf80
parent aa122b2bb9 c96df2ed1c
commit 4217dbcf80
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"
    ];