Merge pull request #39 from bgd-labs/fix/diff-json-generation-key-cle… #14

Triggered via push July 30, 2024 14:46

eboadom

main

Status Failure

Total duration 28m 25s

Artifacts –

certora.yml

on: push

Matrix: verify

8 errors and 12 warnings

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

GitHub Actions has encountered an internal error when running your job.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/