Skip to content
Nix CI

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux
9m 36s
9m 36s