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

Triggered via pull request December 6, 2023 14:52
@nomeatanomeata
synchronize #3024
joachim/wf-fix-dedup
Status Success
Total duration 9m 45s
Artifacts –

nix-ci.yml

on: pull_request
Matrix: Build
Fit to window
Zoom out
Zoom in