ci: add trunk config to repo

.trunk/.gitignore

@@ -0,0 +1,9 @@
+*out
+*logs
+*actions
+*notifications
+*tools
+plugins
+user_trunk.yaml
+user.yaml
+tmp

.trunk/configs/.rustfmt.toml

@@ -0,0 +1,4 @@
+# See: https://rust-lang.github.io/rustfmt
+normalize_comments = true
+use_field_init_shorthand = true
+edition = "2021"

.trunk/configs/.shellcheckrc

@@ -0,0 +1,7 @@
+enable=all
+source-path=SCRIPTDIR
+disable=SC2154
+
+# If you're having issues with shellcheck following source, disable the errors via:
+# disable=SC1090
+# disable=SC1091

.trunk/configs/.yamllint.yaml

@@ -0,0 +1,7 @@
+rules:
+  quoted-strings:
+    required: only-when-needed
+    extra-allowed: ["{|}"]
+  key-duplicates: {}
+  octal-values:
+    forbid-implicit-octal: true

.trunk/trunk.yaml

@@ -0,0 +1,31 @@
+# This file controls the behavior of Trunk: https://docs.trunk.io/cli
+# To learn more about the format of this file, see https://docs.trunk.io/reference/trunk-yaml
+version: 0.1
+cli:
+  version: 1.22.7
+plugins:
+  sources:
+    - id: trunk
+      ref: v1.6.4
+      uri: https://github.com/trunk-io/plugins
+actions:
+  disabled:
+    - trunk-announce
+    - trunk-check-pre-push
+  enabled:
+    - trunk-fmt-pre-commit
+    - trunk-upgrade-available
+lint:
+  enabled:
+    - [email protected]
+    - [email protected]
+    - git-diff-check
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]
+    - [email protected]

Cargo.toml

@@ -1,8 +1,5 @@
 [workspace]
-members = [
-  "crates/brainfuck-vm",
-  "crates/brainfuck-prover",
-]
+members = ["crates/brainfuck-vm", "crates/brainfuck-prover"]
 resolver = "2"
 
 [workspace.package]

scripts/clippy.sh

@@ -1,4 +1,4 @@
 #!/bin/bash
 
 cargo +nightly-2024-01-04 clippy "$@" --all-targets --all-features -- -D warnings -D future-incompatible \
-    -D nonstandard-style -D rust-2018-idioms -D unused
+	-D nonstandard-style -D rust-2018-idioms -D unused