Skip to content
Back to pull request #6891

fix: make rewrite/rw tactic abort on elaboration errors #2964

Sign in to view logs

fix: make rewrite/rw tactic abort on elaboration errors

fix: make rewrite/rw tactic abort on elaboration errors #2964

This job was skipped