Add the feed generalizef, efeed generalize, efeed inversion, and efeed destruct tactics
Passed
Michael Sammler
created pipeline for commit
33661a3f
, finished
Related merge request !389 to merge ci/msammler/more_feed
6 minutes 11 seconds, queued for 5 seconds