Skip to content

Add a with_eta checker flag, and trusted implementation in safeconversion#1260

Open
mattam82 wants to merge 1 commit into
MetaRocq:mainfrom
mattam82:unsafe-check-with-eta
Open

Add a with_eta checker flag, and trusted implementation in safeconversion#1260
mattam82 wants to merge 1 commit into
MetaRocq:mainfrom
mattam82:unsafe-check-with-eta

Add a with_eta checker flag, and trusted implementation in safeconver…

4e129f7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs