Skip to content

Commit ac92dc8

Browse files
skulidropekskulidropek
authored
chore: simplify CodeRabbit spec prompt (#289)
* chore: simplify CodeRabbit spec prompt * chore: keep CodeRabbit auto review enabled * chore: add formal verification review guidance
1 parent 8d28151 commit ac92dc8

0 file changed

File tree

    0 commit comments

    Comments
     (0)