Merge branch 'main' into user/noharper/initial-coverage-metric

microsoft · Sep 14, 2023 · 905af95 · 905af95
2 parents 866de64 + 9ede0de
commit 905af95
Show file tree

Hide file tree

Showing 7 changed files with 1,577 additions and 12 deletions.
diff --git a/src/agent/Cargo.lock b/src/agent/Cargo.lock
diff --git a/src/agent/coverage/fuzz/.gitignore b/src/agent/coverage/fuzz/.gitignore
@@ -0,0 +1,4 @@
+target
+corpus
+artifacts
+coverage