This will improve the developers experience when using Misti in the CI:  Documentation: https://nowarp.io/tools/misti/docs/tutorial/ci-cd#using-sarif-and-github-actions Example configuration: https://github.com/jubnzv/tact-template/pull/1
This will improve the developers experience when using Misti in the CI:
Documentation: https://nowarp.io/tools/misti/docs/tutorial/ci-cd#using-sarif-and-github-actions
Example configuration: jubnzv#1