Skip to content
Unverified Commit 20eb75a7 authored by Matthias Diener's avatar Matthias Diener Committed by GitHub
Browse files

Remove tags before restoring pickled ones (#329) 

* Filter IgnoredForEqualityTag when unpickling

* UNDO BEFORE MERGE: use pytools branch

* add comment

* Revert "UNDO BEFORE MERGE: use pytools branch"

This reverts commit 5ad3f55e3ff787205d9928231a27b76630551f1f.

* directly use pytato

* don't modify node

* simplify

* clarify comment

* simplify further
parent bcbed3ec
Pipeline #296884 passed with stage
in 1 hour, 20 minutes, and 47 seconds