add lookup records for mockprover · scroll-tech/ceno@c898f7c

Triggered via pull request September 9, 2024 03:39

chaosma

synchronize #197

fix_lookup_record

Status Cancelled

Total duration 1m 27s

Billable time 3m

Artifacts –

lints.yml

on: pull_request

Matrix: Various lints

2 errors and 7 warnings

The run was canceled by @github-actions[bot].

The operation was canceled.

profiles for the non root package will be ignored, specify profiles at the workspace root:

profiles for the non root package will be ignored, specify profiles at the workspace root:

virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/