Workflow runs · walnuthq/cairovm.codes · GitHub

Actions

All workflows
Workflows
- CI CI
- Vercel Vercel
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

47 workflow runs

47 workflow runs

Keep disabled contract examples if 'Prove & Verify' is enabled Vercel #158: Pull request #243 synchronize by barabanovro

1s

1s

Keep disabled contract examples if 'Prove & Verify' is enabled Vercel #157: Pull request #243 synchronize by melnikga

1s

1s

Keep disabled contract examples if 'Prove & Verify' is enabled Vercel #156: Pull request #243 synchronize by melnikga

1s

1s

Keep disabled contract examples if 'Prove & Verify' is enabled Vercel #155: Pull request #243 synchronize by melnikga

1s

1s

Added prove mode Vercel #154: Pull request #239 synchronize by melnikga

1s

1s

Added prove mode Vercel #153: Pull request #239 synchronize by melnikga

2s

2s

Added prove mode Vercel #152: Pull request #239 synchronize by melnikga

1s

1s

Revert the right side "Proof" panel Vercel #151: Pull request #235 synchronize by melnikga

1s

1s

Fix: compile bugs Vercel #150: Pull request #237 synchronize by melnikga

1s

1s

Revert the right side "Proof" panel Vercel #149: Pull request #235 synchronize by melnikga

1s

1s

Revert the right side "Proof" panel Vercel #148: Pull request #235 synchronize by melnikga

Skipped

Skipped

Proof displaying improvements & added switching to debug vm execution trace when clicked run and debug Vercel #147: Pull request #229 synchronize by barabanovro

2s

2s

Show the proof on the right panel Vercel #146: Pull request #223 synchronize by melnikga

1s

1s

Show the proof on the right panel Vercel #145: Pull request #223 synchronize by melnikga

1s

1s

Updated Run button Vercel #144: Pull request #221 synchronize by melnikga

1s

1s

Editor controls fixes Vercel #143: Pull request #216 synchronize by melnikga

2s

2s

Improved Visibility of "Cairo Examples" Button CI #207: Pull request #214 synchronize by melnikga

55s melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

55s

Improved Visibility of "Cairo Examples" Button Vercel #142: Pull request #214 synchronize by melnikga

2s

2s

Improved Visibility of "Cairo Examples" Button CI #206: Pull request #214 synchronize by melnikga

44s melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

44s

Improved Visibility of "Cairo Examples" Button Vercel #141: Pull request #214 synchronize by melnikga

1s

1s

Improved Visibility of "Cairo Examples" Button CI #205: Pull request #214 opened by melnikga

3m 5s melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

melnikga:feat/Enhance-the-visibility-of-the-Cairo-Examples-button

3m 5s

Revert "Add support for Proof and Verification (#200)" CI #204: Pull request #208 opened by barabanovro

3m 12s revert-proving

revert-proving

3m 12s

Add support for Proof and Verification CI #203: Pull request #200 synchronize by barabanovro

51s feat/prove-and-verify

feat/prove-and-verify

51s

Add support for Proof and Verification Vercel #140: Pull request #200 synchronize by barabanovro

1s

1s

Add support for Proof and Verification CI #202: Pull request #200 synchronize by barabanovro

49s feat/prove-and-verify

feat/prove-and-verify

49s