Skip to content

Update description of verificationTimeLimit preference - #360

Open
keyboardDrummer wants to merge 2 commits into
dafny-lang:masterfrom
keyboardDrummer:verificationTimeLimitDescription
Open

Update description of verificationTimeLimit preference#360
keyboardDrummer wants to merge 2 commits into
dafny-lang:masterfrom
keyboardDrummer:verificationTimeLimitDescription

Update package.json

2f1a06c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs