Back to pull request #3024

fix: WF.Fix: deduplicate subsumed goals before running tactic #201

Sign in to view logs

Triggered via pull request December 6, 2023 14:52

nomeata

synchronize #3024

joachim/wf-fix-dedup

Status Success

Total duration 13s

Artifacts –

pr-title.yml

on: pull_request