Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Move kcfg commit logic to KCFG class #909

Merged
rv-jenkins merged 5 commits into from
Feb 22, 2024

Merge branch 'noah/kcfg-extend' of https://github.com/runtimeverifica…

972059b
Select commit
Loading
Failed to load commit list.
Merged

Move kcfg commit logic to KCFG class #909

Merge branch 'noah/kcfg-extend' of https://github.com/runtimeverifica…
972059b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs