Remove Subst.pred functionality #446

Sign in to view logs

Triggered via pull request September 5, 2024 22:21

ehildenb

opened #4626

remove-subst-pred

Status Cancelled

Total duration 21s

Artifacts –

master-pr.yml

on: pull_request

Change base to develop branch