Skip to content

Remove d_prototype & create type tests for p_prototype#104

Merged
ranocha merged 7 commits into
mainfrom
sk/remove-d_prototype
Jul 18, 2024
Merged

Remove d_prototype & create type tests for p_prototype#104
ranocha merged 7 commits into
mainfrom
sk/remove-d_prototype

Merge branch 'main' into sk/remove-d_prototype

6f8fd96
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs