PR #1371 fix(tactic/apply): `tactic.exact` timeout

fix(tactic/apply): `tactic.exact` timeout #1371

mergify merged 1 commit into leanprover-community:master from aceg00:apply'

Fix `tactic.exact` timeout in `apply'`

677e1ca1

aceg00 requested a review 6 years ago

cipher1024 approved these changes on 2019-08-29

cipher1024 added ready-to-merge

mergify merged 1278efd6 into master 6 years ago

aceg00 deleted the apply' branch 6 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone