Check Std Verification

Add regular & fixme tests for function contracts #15

Sign in to view logs

Workflow file for this run

.github/workflows/verify-std-check.yml at aac359f

File not found

The workflow file could not be found.