CI: Add muse CI config

Closes #5772

diff --git a/.muse/config.toml b/.muse/config.toml
new file mode 100644 (file)
index 0000000..4e5b5cc
--- /dev/null
+++ b/.muse/config.toml
@@ -0,0 +1,3 @@
+ignore = [ "DEAD_STORE" ]
+build = "make"
+setup = ".muse/setup.sh"

diff --git a/.muse/setup.sh b/.muse/setup.sh
new file mode 100755 (executable)
index 0000000..55872d5
--- /dev/null
+++ b/.muse/setup.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+./buildconf
+./configure
+echo "Ran the setup script for muse including autoconf and executing ./configure"