Skip to content

Rename resourceLogicProofs to logicVerifierInputs #1829

Rename resourceLogicProofs to logicVerifierInputs

Rename resourceLogicProofs to logicVerifierInputs #1829

Triggered via pull request May 27, 2025 11:14
Status Success
Total duration 21m 12s
Artifacts

pull-requests.yml

on: pull_request
pre-commit
30s
pre-commit
build-basic-without-insiders-and-juvix
2m 6s
build-basic-without-insiders-and-juvix
build-and-deploy-with-insiders-and-juvix
21m 0s
build-and-deploy-with-insiders-and-juvix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build-and-deploy-with-insiders-and-juvix
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/
build-and-deploy-with-insiders-and-juvix
Failed to restore: getCacheEntry failed: Cache Service Url not found, unable to restore cache.
build-and-deploy-with-insiders-and-juvix
Failed to save: reserveCache failed: Cache Service Url not found, unable to restore cache.
build-and-deploy-with-insiders-and-juvix
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/