Skip to content
Check for copyright header

refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers #410

Sign in to view logs

refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers

refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers #410

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
11s
11s