Skip to content

chore: Update fixtures#329

Open
argument-ci-bot[bot] wants to merge 1 commit into
devfrom
ci-update-fixtures
Open

chore: Update fixtures#329
argument-ci-bot[bot] wants to merge 1 commit into
devfrom
ci-update-fixtures

Conversation

@argument-ci-bot

@argument-ci-bot argument-ci-bot Bot commented Nov 15, 2024

Copy link
Copy Markdown
Contributor

This is an automated PR updating the proof fixtures for Solidity and Move, which are used for smart contract verification tests.

Workflow run: https://github.com/argumentcomputer/zk-light-clients/actions/runs/12150295740

huitseeker
huitseeker previously approved these changes Nov 15, 2024
@argument-ci-bot argument-ci-bot Bot requested a review from huitseeker November 16, 2024 00:38
@argument-ci-bot argument-ci-bot Bot force-pushed the ci-update-fixtures branch 2 times, most recently from da40484 to 02acb8c Compare November 18, 2024 00:38
@argument-ci-bot argument-ci-bot Bot force-pushed the ci-update-fixtures branch 7 times, most recently from 0bc4690 to 3bf4dc4 Compare November 25, 2024 00:38
@argument-ci-bot argument-ci-bot Bot force-pushed the ci-update-fixtures branch 8 times, most recently from 294171a to 651122a Compare December 3, 2024 00:38

@huitseeker huitseeker left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Removing from my review request queue by commenting.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants