Plugins

Remove iter-limit and scheduler args from egraph-run-rules; always tr… #7112

Sign in to view logs

Triggered via push November 4, 2025 00:05

no-iter-limit

Status Success

Total duration 5m 59s

Artifacts –

plugins.yml

on: push

Plugin tests (Posits)