Skip to content

Commit 7772632

Browse files
Copilotpelikhan
andauthored
Initial plan (no code changes yet)
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
1 parent ba70bbe commit 7772632

2 files changed

Lines changed: 4 additions & 5 deletions

File tree

.github/workflows/daily-formal-spec-verifier.lock.yml

Lines changed: 3 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

actions/setup-cli/install.sh

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)