Bump actions/checkout from 3 to 4#2

Open

dependabot[bot] wants to merge 7 commits intodevelopfrom

dependabot/github_actions/actions/checkout-4

Commits on Aug 7, 2023

MockProver can report phase error better
lispc
committed

Commits on Aug 17, 2023

Fix: false alarm in phase check of mock prover (#61)
kunxian-xia
authored

Commits on Aug 18, 2023

Perf: batch invert on CellValue for MockProver (#62)

Velaciela
and
kunxian-xia
authored

Commits on Aug 30, 2023

feature flag: mock-batch-inv (#63)
Velaciela
authored

Commits on Sep 5, 2023