Skip to content
This repository has been archived by the owner on Sep 13, 2024. It is now read-only.

add assume for genmc #1

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

use ignore

8b8e696
Select commit
Loading
Failed to load commit list.
Open

add assume for genmc #1

use ignore
8b8e696
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs