Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[fix] formal verification ci #179

Merged
merged 1 commit into from
Feb 16, 2024
Merged

[fix] formal verification ci #179

merged 1 commit into from
Feb 16, 2024

Conversation

0xzoz
Copy link
Contributor

@0xzoz 0xzoz commented Feb 16, 2024

  • an addition in pr [ci] formal verification ci #157 introduced a bug where the ci would hang on formal verification of block.move
  • fix slow_wallet.move to pass
  • only test known passing modules in `libra-framework

kalvkusk
kalvkusk approved these changes Feb 16, 2024
View reviewed changes
Copy link
Contributor

@kalvkusk kalvkusk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@kalvkusk
Copy link
Contributor

kalvkusk commented Feb 16, 2024 •
edited
Loading

^ going ahead and merging

@kalvkusk kalvkusk merged commit 13e9d81 into 0LNetworkCommunity:main Feb 16, 2024
12 checks passed
0xzoz added a commit that referenced this pull request Feb 16, 2024
@0xzoz
Revert "[fix] formal verification ci (#179)"
535e823 
This reverts commit 13e9d81.
0o-de-lally pushed a commit that referenced this pull request Aug 8, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (#179)
4a9874c
0o-de-lally pushed a commit that referenced this pull request Aug 8, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (#179)
0b499c1
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 16, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
cd324ac
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 16, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
66bd5b4
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 16, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
cd0bdea
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 16, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
e4c5134
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 16, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
c33ebbe
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
ed9ab78
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
5907fda
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
9a429ab
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
435c1de
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
c16bb8c
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
727ff1b
0o-de-lally pushed a commit to 0o-de-lally/libra-framework that referenced this pull request Aug 17, 2024
@0xzoz @0o-de-lally
[fix] formal verification ci (0LNetworkCommunity#179)
aecfe93
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kalvkusk kalvkusk kalvkusk approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@0xzoz @kalvkusk