Skip to content
Backport

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

Sign in to view logs

fix: make rewrite/rw tactic abort on elaboration errors

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

Triggered via pull request January 31, 2025 18:52
@kmillkmill
labeled #6891
Status Skipped
Total duration 3s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in