Skip to content

Fall back to prove TOML for RPC proof commands - #1154

Open
peter941221 wants to merge 2 commits into
runtimeverification:masterfrom
peter941221:fix/simplify-node-config-profile-fallback
Open

Fall back to prove TOML for RPC proof commands#1154
peter941221 wants to merge 2 commits into
runtimeverification:masterfrom
peter941221:fix/simplify-node-config-profile-fallback

Cover selected prove profiles in RPC fallback tests

e09c3a6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs