Skip to content
Check PR title for commit convention

fix: get_elem_tactic_trivial to not loop in the presence of mvars #7942

Sign in to view logs

fix: get_elem_tactic_trivial to not loop in the presence of mvars

fix: get_elem_tactic_trivial to not loop in the presence of mvars #7942

Triggered via pull request August 21, 2024 18:06
@nomeatanomeata
opened #5119
joachim/issue5061
Status Success
Total duration 11s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
3s
check-pr-title
Fit to window
Zoom out
Zoom in