Bump codecov/codecov-action from 3.1.0 to 3.1.4#1

Open

dependabot[bot] wants to merge 7 commits intodevelopfrom

dependabot/github_actions/codecov/codecov-action-3.1.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