Skip to content
This repository was archived by the owner on Sep 27, 2023. It is now read-only.

Update Lesson 1 to CVL2 and config files #33

Open
shoham-certora wants to merge 5 commits into
base: master
Choose a base branch
from

removing old shell script

6de65ed
Select commit
Loading
Failed to load commit list.
Open

Update Lesson 1 to CVL2 and config files #33

removing old shell script
6de65ed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs